Dr. Achim D. Brucker
SAP Research
Vincenz-Priessnitz-Str. 1
76131 Karlsruhe
Deutschland
Dr. Achim D. Brucker
SAP Research
Vincenz-Priessnitz-Str. 1
76131 Karlsruhe
Deutschland
Dr. Achim Brucker ist ein Researcher in den Arbeitsgruppen „Security and Trust“ und „Software Engineering“ am SAP Research Center Karlsruhe. 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. Er ist Mitglied des OCL Standadisierungsprozesses bei der OMG.
Seine aktuellen Arbeiten beschäftigen sich mit Sicherheitsfragen von service-orientierten Architekturen im allgemeinen und insbesonderen im Bereich der öffentlichen Sicherheit. Desweiteren ist er Entwickler von Theorembeweisern für Z (HOL-Z) und UML/OCL (HOL-OCL) sowie eines modelbasierten Testdatengenerators (HOL-TestGen).