• Project Assistant, MSc
• TU Wien
• Institute of Computer Engineering E191-02
• Treitlstraße 3, 2nd floor
• 1040 Wien
• Austria

---

• Room: DE 02 28
• Phone: +43 (1) 58801-18203
• Email: krisztina.fruzsa [at] tuwien.ac.at

---

Research Interests

• knowledge-based analysis of fault-tolerant distributed systems, dynamic epistemic logic

---

Current Position

• I am a PhD student fully funded by the Doctoral College Logical Methods in Computer Science at TU Wien, since September 2018.
• My supervisor is Prof. Ulrich Schmid.
• I am a Project Assistant at the Embedded Computing Systems Group.

---

Education

• MSc in Mathematics (Faculty of Sciences, University of Novi Sad, Serbia), March 2018.
• BSc in Mathematics  (Faculty of Sciences, University of Novi Sad, Serbia), October 2016.