• • University Assistant, MSc

  • Formal Methods in Systems Engineering
  • Institute of Information Systems
  • Faculty of Informatics, TU Wien
  • Favoritenstrasse 9-11,
  • 1040 Vienna, Austria

---

• Room: HD 03 23
• Phone: +43 (1) 58801 – 740 020
• Email: ilina.stoilkovska@tuwien.ac.at
• Web: http://forsyte.at/people/stoilkovska/

---

Research Interests

• Formal Methods, Distributed Systems, Verification of Fault Tolerant Distributed Algorithms, Interactive Theorem Proving

---

Current Position

• I am a PhD student under the supervision of Florian Zuleger and Josef Widder, since May 2015
• I am an affiliated student in the LogiCS Doctoral College

---

Education

• MSc in Computer Science (European Master Program in Computational Logic - TU Dresden, FU Bolzano, TU Vienna)
• BSc in Informatics and Computer Engineering (Ss. Cyril and Methodius University Skopje)