Contact Information

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

Dr. Achim Brucker is a Researcher in the Security and Trust group at SAP Research Kalrsruhe, 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 security, software engineering and formal methods. In particular, he is interested in tools and methods for modeling, building and validating secure and reliable systems.

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).