Felix Heinzmann
Forschungsinteressen
- Echtzeitanalyse eingebetteter Systeme
- Spezifikation eingebetteter Echtzeitsysteme
- Temporale Logiken
- Formale Verifikation
- Model Checking
- SAT-Solving
Lehre
SS2024
- Rechnerarchitektur
WS2023/2024
- Grundlagen der technischen Informatik
- MatLab/Mathematica ProgrammierLab
SS2023
- Rechnerarchitektur
- ProSeminar: Echtzeitbetriebssysteme
- Seminar: Echtzeittheorie
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