Contact Information

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

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

Dr. Achim Brucker is a Senior Researcher and Project Lead in the “Security and Trust Practice” at the SAP Research 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 distributed, e.g., service-oriented, systems. This includes research in applied security aspects such as access control or business-process modeling as well as in fundamental aspects such as novel techniques for static source code analysis. 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).