Felix Heinzmann

Forschungsinteressen

  • Echtzeitanalyse eingebetteter Systeme
  • Temporale Logiken
  • Formale Verifikation 
  • Model Checking
  • SAT-Solving

Lehre

SS2023

WS2022/2023

  • Grundlagen der technischen Informatik
Felix Heinzmann, M. Sc.

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

felix.heinzmann(at)uni-ulm.de