Welcome!

The Embedded Systems Group is a research group of the Department of Computer Science at the University of Kaiserslautern. Our research interests include model-based design of embedded systems including formal verification, controller synthesis, and automatic code generation application-specific hardware/software systems.

Embedded Systems Group