|
|
The Embedded Systems Group is a research division of the Department of Computer Science at the University of Kaiserslautern. Our research interests include synchronous languages for modelling reactive systems, formal verification, controller synthesis, execution time analysis, and theorem proving in higher order logic.
Please explore this web site to obtain more information about our offerings for students, the details of our research, our publications, the people behind our group, and how to contact us. Inquiries for further information and comments on our web pages are welcome.
|