- University Assistant, MSc
- TU Wien
- Institute for Logic and Computation 192/4
- Favoritenstraße 9–11
- 1040 Wien
- Room: HD 03 05
- Email: sarah.sallinger [at] tuwien.ac.at
Research InterestsMy research interests include formal methods, programming languages and their applications in diverse fields.
- I am a PhD student in the Doctoral College Logical Methods in Computer Science, under the supervision of Prof. Pavol Černý in the FORSYTE group.
- MSc in Computer Science, EPFL
- BEng in Computer Science, University of Salzburg