Senior Key Expert Consultant at Siemens Technology. Specialist on PKI, IT security architecture, and formal methods