Felix Heinzmann
Forschungsinteressen
- Echtzeitanalyse eingebetteter Systeme
- Temporale Logiken
- Formale Verifikation
- Model Checking
- SAT-Solving
Lehre
SS2023
WS2022/2023
- Grundlagen der technischen Informatik
Funktion
Wissenschaftlicher Mitarbeiter
Kontakt
Felix Heinzmann, M. Sc.
Raum O27/316
Institut für Eingebette Systeme /
Echtzeitsysteme
Universität Ulm
89069 Ulm
Deutschland
Tel.: +49 731 50 24177
fax: +49 731 50 24182