• University Assistant, MSc
• TU Wien
• Institute for Logic and Computation 192/4
• Favoritenstraße 9–11
• 1040 Wien
• Austria

 

---

• Room: HD 03 05
• Email: sarah.sallinger [at] tuwien.ac.at

---

Research Interests

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

---

Current Position

• 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.

---

Education

• MSc in Computer Science, EPFL
• BEng in Computer Science, University of Salzburg