Kontakt

Dr. Achim Brucker ist ein Senior Researcher und Projektleiter innerhalb des “Product Security Research Team” der SAP AG. Zudem arbeitet er zentralen Codeanalyse Team der SAP AG. 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 Standardisierungsprozesses bei der OMG.

In seinen aktuellen Arbeiten beschäftigt er sich mit Sicherheitsfragen von dienste-orientierten Architekturen. Dies umfasst sowohl angewandte Arbeiten (wie z.B. Zugriffskontrolltechniken oder die Modellierung von sicheren Geschäftsprozessen) als auch grundlegende Arbeiten (wie z.B. die Entwicklung neuer Techniken zur statischen und dunamischen Überprüfung der Sicherheit von Anwendungen). Des weiteren ist er Entwickler von Theorembeweisern für Z (HOL-Z) und UML/OCL (HOL-OCL) sowie eines modellbasierten Testdatengenerators (HOL-TestGen).