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 code generation for hardware and software.
Please explore this web site to obtain more information about our offers for students, the details of our research, our publications, and the people behind our group.
