Dr. Lucas Sakizloglou

akademischer Mitarbeiter bis zum 31.12.2025

Forschungsinteresse

  • Formale Verifikation des zeitlichen Verhaltens
  • Skalierbar, geschichtsbewusste Laufzeitmodelle
  • Graph-basierte Formalismen und Techniken
  • Selbstadaptive Systeme