Further information
Curriculum Vitae
Schwerpunkte in der Lehre:
- Technische Informatik
- Robotik
- Eingebettete Systeme
- Programmierung
Besondere Interessensgebiete:
- Zuverlässigkeit von eingebetteter Software
- Formale Methoden im Software Engineering
- Regelungstechnik
- Autonome Systeme in Luft- und Raumfahrt
- Logische und funktionale Sprachen