Sarah Sallinger ist Doktorandin an der TU Wien in der Gruppe für Formal Methods in Systems Engineering. Ihre Forschungsinteressen erstrecken sich auf die Bereiche computergestützte Verifikation, Programmanalyse und automatische Fehlersuche und -diagnose. Bevor sie ihr Doktorat begann, studierte Sarah Informatik an der Universität Salzburg und an der EPFL in Lausanne. Neben ihrer Forschungstätigkeit ist sie aktiv in der Lehre von einführenden und fortgeschrittenen Kursen zu formalen Methoden.

zuletzt geändert: Mär 2023