Petra Hozzová

Project Assistant, Phd Student

I am a PhD student under the supervision of Laura Kovács. I am associated with LogiCS doctoral program.

Prior to this position, I graduated from Comenius University (Bratislava, Slovakia) with a MSc degree from Computer Science in 2016, and I worked as a software engineer at Google (Mountain View, California) until March 2019.

Petra Hozzová
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien

Room: HE 03 09 (how to get there)
Phone: +43 (1) 58801 – 192 405

Latest News

FORSYTE’s 2018 paper awards

FORSYTE has had a quite successful year: Adrian Rebola Pardo and his co-authors received the IJCAR best paper award for their paper Extended Resolution Simulates DRAT, Mitra Tabaei Befrouei and her co-authors received an OOPSLA 2018 Distinguished Paper award for their paper Randomized Testing of Distributed Systems with Probabilistic Guarantees, and Thomas Pani received the […]

Continue reading

Full news archive