معرفی
Dominik Haneberg serves as a Senior Researcher at the Institute for Software & Systems Engineering within the Faculty of Applied Computer Science at the University of Augsburg. His work spans formal methods, software architecture, and IT security with a focus on verified systems.
His educational background includes a Diploma in Informatics from the University of Ulm (2000) and a Doctorate in Informatics (2006). His research centers on software quality assurance, formal verification techniques, and security-critical systems, particularly for electronic payment applications and flash memory systems. His methodology emphasizes mathematically provable correctness in software design.
Haneberg's publication trends reveal consistent focus on formal verification of storage systems (flash file systems, UBIFS), security protocols for electronic purses (Mondex case studies), and educational approaches to agile methodologies. His work bridges theoretical formal methods with industrial applications in embedded systems.
Awards include:
- Award of the Swabian Economy 2007 (IHK Schwaben)
- Best Paper Award at Second International Conference on Software Engineering Advances 2007
Administrative contributions include serving on the faculty board, coordinating the elite Master's program in Software Engineering, student counseling for Computer Science in Engineering, and membership in multiple admission and examination boards. He has taught courses ranging from Formal Methods to Software Engineering and supervised numerous student theses.
Haneberg works within the Institute for Software & Systems Engineering directed by Prof. Wolfgang Reif, contributing to both fundamental and applied research in software engineering while developing verification tools like KIV for industrial applications.
