Philipp G. Haselwarter

Eine neue Methode zur Bestätigung des Programmendes in komplexen probabilistischen Umgebungen.

Ein neuer Ansatz für Fehlerschranken mithilfe von Fehlergutschriften für komplexe Programme.

Ein neuer Ansatz, um die erwarteten Kosten von probabilistischen Programmen mit höherordentlicher Trennlogik zu verstehen.

Ein neuer Ansatz zur Sicherstellung der Zuverlässigkeit von probabilistischen Programmen höherer Ordnung.