• Project Assistant, MSc
• TU Wien
• Institute for Logic and Computation
• Favoritenstraße 9–11
• 1040 Wien
• Austria

 

---

• Room: HE 03 09
• Email: petra.hozzova [at] tuwien.ac.at

---

Research Interests

Automated theorem proving, induction

---

Current Position

• I am a PhD student associated with the Doctoral College Logical Methods in Computer Science. I started my PhD studies in October 2019 under the supervision of Prof. Laura Kovács. I am also a project assistant in the Formal Methods in Systems Engineering group (FORSYTE).

---

Education

• MSc in Computer Science, 2016, Comenius University in Bratislava.
• BA in Computer Science, 2014, Comenius University in Bratislava.