Sarah Sallinger

University Assistant

I am a PhD student under the supervision of Prof. ​Pavol Černý in the FORSYTE group at TU Wien. Prior to this, I graduated with an MSc in Computer Science from EPFL under the supervision of Prof. Viktor Kunčak.

My research interests include formal methods, programming languages and their applications in diverse fields.

Sarah Sallinger
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien

Room: HD 03 05 (how to get there)
Phone: +43 (1) 58801 – 192 413

Latest News

FORSYTE’s 2018 paper awards

FORSYTE has had a quite successful year: Adrian Rebola Pardo and his co-authors received the IJCAR best paper award for their paper Extended Resolution Simulates DRAT, Mitra Tabaei Befrouei and her co-authors received an OOPSLA 2018 Distinguished Paper award for their paper Randomized Testing of Distributed Systems with Probabilistic Guarantees, and Thomas Pani received the […]

Continue reading

Full news archive