Henrik Bohnenkamp

Henrik Bohnenkamp is a Researcher at the Department of Computer Science, RWTH Aachen University, where he has been employed since 2005 after completing his PhD at the same institution under Prof. Boudewijn Haverkort. His work focuses on formal methods for real-time systems within the Hybrid Systems Group.

His academic background includes:

• 1988-1995: Computer Science studies at University Erlangen-Nuremberg
• 1995-2001: PhD research at RWTH Aachen University
• 2001-2005: Researcher position at University Twente, Netherlands, with additional affiliations at the Embedded Systems Institute and ASML

Bohnenkamp's research specializes in Timed Model-Based Testing, Modelling of Timed Systems, and Analysis of AdHoc networks, contributing to verification methodologies for time-critical systems. His work intersects with embedded systems and network analysis, particularly evident in his involvement with European Space Agency projects like COMPASS for satellite design validation.

As an active member of the Hybrid Systems Group, he participates in collaborative projects including the CEBug initiative and offers BSc/MSc thesis topics. His teaching contributions include the Compiler Construction course, and he maintains direct involvement in tool development for model checking and system analysis.