Developed several tools such as LLVMTA (a WCET analysis tool based on the LLVM compiler infrastructure), uops.info (provides latency, throughput, and port usage information for instructions on recent Intel processors), etc.; led multiple teaching activities in system architecture, hardware security, and more.
Research Experience
Currently leads the Real-Time and Embedded Systems Lab at Saarland University; research areas cover static program analysis, verification of real-time systems, etc.
Background
Research interests include real-time and embedded systems, safety and security problems at the hardware-software interface.
Miscellany
Looking for PhD students and postdocs to join his team, focusing on addressing safety and security issues at the hardware-software interface.