Forschung
[Forschung] [Lebenslauf] [Publikationen] [Vorträge] [Lehre]
Projekte
[HOL-OCL] [HOL-TestGen] [svninfo] [IsaMorph] [Debian]

Kontakt

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

Achim D. Brucker

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

Dr. Achim Brucker ist ein Researcher in der Arbeitsgruppe Security and Trust von SAP Research. Er besitzt einen Doktortitel von der ETH Zürich und ein Diplom in Informatik von der Universität Freiburg.

Seine Forschungsinteressen liegen in den Bereichen Sicherheit, Softwaretechnik und Formalen Methoden. Insbesondere interessiert er sich für Werkzeuge und Sprachen zum Erstellen und Validieren von sicheren und zuverlässigen Systemen.

Seine aktuellen Arbeiten beschäftigen sich mit Sicherheitsfragen von service-orienteierten Architekturen. Desweiteren ist er Softwareentwickler von Theorembeweisern für Z (HOL-Z) und UML/OCL (HOL-OCL) sowie eines modelbasierten Testdatengenerators (HOL-TestGen).