International Recognition
Research at the University of Bremen and DFKI is driven by a commitment to excellence. My work on formal methods and system design has been honored with the highest international distinctions in the field:
In
2023, I was elected a
Fellow of the ACM, joining a select group of researchers worldwide. This follows my appointment as an
IEEE Fellow in
2015. Both honors reflect the global
impact of our research group’s contributions to building reliable and efficient computer architectures.
