- Project Assistant, MSc
- TU Wien
- Institute for Logic and Computation
- Favoritenstraße 9–11
- 1040 Wien
- Room: HE 03 09
- Email: petra.hozzova [at] tuwien.ac.at
Research InterestsAutomated theorem proving, induction
- 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).
- MSc in Computer Science, 2016, Comenius University in Bratislava.
- BA in Computer Science, 2014, Comenius University in Bratislava.