Contact Information

Dr. Achim D. Brucker
SAP Research
Vincenz-Priessnitz-Str. 1
76131 Karlsruhe
Germany

Phone: +49/62 27/7-52595
Fax:     +49/62 27/78-50502
E-Mail: <firstname>.<lastname>@sap.com
GPG/PGP key: 0x3A3161ED, key id:

Dr. Achim Brucker is a Researcher in both the “Security and Trust Group” and the “Software Engineering Group” at the SAP Research Center Karlsruhe, Germany. He received his masters degree in computer science from University Freiburg, Germany and his Ph.D. from ETH Zurich, Switzerland.

His research interests include information security, software engineering, security engineering, and formal methods. In particular, he is interested in tools and methods for modeling, building and validating secure and reliable systems. He also participates in the OCL standardization process of the OMG.

His current work includes the research on security aspects of SoA-based infrastructures in general and particular in the area of disaster management (i.e., public security). Moreover, he is participating in the development of interactive theorem proving environments for Z (HOL-Z) and UML/OCL (HOL-OCL, which is integrated into a formal MDE toolchain) and a model-based test-case generator (HOL-TestGen).