Veröffentlichungen
Publikationsliste (Englisch): pdf
Betreute Bachelorarbeiten (seit 2015)
L. Gillner, Entwicklung eines flexiblen Empfehlungssystems für verifizierte Anfangswertproblemlöser basierend auf VERICOMP 2.0, Zweitgutachter A. Rauh, 2020 (♦ Gottlob-Frege-Sonderpreis 2021)
K. Bucher, Portable Anbindung von Bibliotheken für die verifizierende Lösung von Anfangswertproblemen gewöhnlicher Differentialgleichungen an VERICOMP, Erstgutachter A. Rauh, 2022
Betreute Masterarbeiten (seit 2015)
L Gillner, Datenextraktion zu Genmutationswahrscheinlichkeiten aus öffentlichen Datenbanken mit Anwendung im Kontext der Beratung von Familien mit Brustkrebsrisiko, 2022; Zweitgutachter A. Rauh (Gottlob-Frege-Preis 2023)
Promotionen
Anfang Dez.2022: L.Gillner, Reliable methods on graphics processors for robust simulation and optimization under uncertainty in the context of energy systems