TUD  »  Forschung  »  Forschungsinformationssystem
Anzeigen

Verweis auf www.hzdr.de

Verweis auf www.di-uni.de

Expertenprofil - Detailansicht

Bereich Ingenieurwissenschaften - Fakultät Informatik - Institut für Theoretische Informatik - Professur für Algebraische und logische Grundlagen der Informatik

Professur für Algebraische und logische Grundlagen der Informatik
Weitere Angaben
Jurorin Bundeswettbewerb "Jugend forscht", Member of the LICS Test-of-Time Selection Committee 2017, Chair of the LICS Test-of-Time Selection Committee 2018,
Editor-in-chief of the Springer journal Acta Informatica since 2015,
Member of the editorial board of ACM
Transactions on Computational Logic since 2015,
Member of the editorial board of PeerJ since 2015,
Member of the editorial board of RAIRO since 2014,
Steering Committee Member of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2016-2021,
Steering Committee Member of International Conference on Fundamentals of Software Engineering (FSEN) since 2009,
European Joint Conferences on Theory and Practice ETAPS 2014-2015, 2017-2018
Forschungsschwerpunkte
  • Model Checking
    Zugeordnete Forschungsprojekte:
    • CREDO
    • Validation of Stochastic Systems (VOSSII)
    • Reduktionsmethoden zur Verifikation omega-regulärer und temporallogischer Eigenschaften für kommunizierende probabilistische Prozesse (ProbPOR)
    • Synthese und Analyse komponentenbasierter Systeme (SYANCO)
    • Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
    • Probabilistische Systeme mit eingeschränkten Informationen (PROCOPE)
    • Projektbezogener Personenaustausch mit Argentinien (PROALAR)
    • Nicht-Mehrdeutigkeit, Alternierung und Nichtstandardakzeptanz in automatenbasierter Modellprüfung probabilistischer Systeme
  • Quantitative Analyse randomisierter Protokolle
    Zugeordnete Forschungsprojekte:
    • Validation of Stochastic Systems (VOSSII)
    • Reduktionsmethoden zur Verifikation omega-regulärer und temporallogischer Eigenschaften für kommunizierende probabilistische Prozesse (ProbPOR)
    • Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
    • Probabilistische Systeme mit eingeschränkten Informationen (PROCOPE)
    • Projektbezogener Personenaustausch mit Argentinien (PROALAR)
    • Nicht-Mehrdeutigkeit, Alternierung und Nichtstandardakzeptanz in automatenbasierter Modellprüfung probabilistischer Systeme
  • modale und temporale Logiken
    Zugeordnete Forschungsprojekte:
    • CREDO
    • Validation of Stochastic Systems (VOSSII)
    • Synthese und Analyse komponentenbasierter Systeme (SYANCO)
    • Nicht-Mehrdeutigkeit, Alternierung und Nichtstandardakzeptanz in automatenbasierter Modellprüfung probabilistischer Systeme
  • Prozesskalkuele und Abstraktionstechniken
    Zugeordnete Forschungsprojekte:
    • CREDO
    • Validation of Stochastic Systems (VOSSII)
    • Reduktionsmethoden zur Verifikation omega-regulärer und temporallogischer Eigenschaften für kommunizierende probabilistische Prozesse (ProbPOR)
    • Projektbezogener Personenaustausch mit Argentinien (PROALAR)
  • Synthese und Analyse von Koordinationsmodellen
    Zugeordnete Forschungsprojekte:
    • Synthese und Analyse komponentenbasierter Systeme (SYANCO)
    • Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
  • Spezifikation und Analyse reaktiver Systeme
    Zugeordnete Forschungsprojekte:
    • Validation of Stochastic Systems (VOSSII)
    • Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
    • Projektbezogener Personenaustausch mit Argentinien (PROALAR)
    • Nicht-Mehrdeutigkeit, Alternierung und Nichtstandardakzeptanz in automatenbasierter Modellprüfung probabilistischer Systeme
  • nichtdeterministische und deterministische ω-Automaten
    Zugeordnete Forschungsprojekte:
    • Nicht-Mehrdeutigkeit, Alternierung und Nichtstandardakzeptanz in automatenbasierter Modellprüfung probabilistischer Systeme
Stand: 08.05.2019