Dominik Stoffel obtained a Dipl.-Ing. degree from the University of Karlsruhe in 1992 and a Ph.D. from the University of Frankfurt in 1999. Since 2001 he is working as a research scientist, lecturer and professor in the Electronic Design Automation group of TU Kaiserslautern. Dominik Stoffel conducts research in the area of design and verification of systems-on-chip. He has a special interest in methodologies and techniques for formal verification of hardware and low-level software. Dominik Stoffel has received the Award of the German IT Society.
Embedded and Cross-Layer Security