Forschungsgebiete

Ich forsche im Bereich des Probabilistic Model Checking, eine Technik zur formalen Verfikation von probabilistischen Systemen. Insbesondere arbeite ich an der Verifikation von Markov Entscheidungsprozessen and verwandten Modellen. Außerdem bin ich am Zusammenspiel von Maschinellem Lernen und Mathematischer Optimierung mit Techniken der formalen Verifikation interessiert.