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.

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

Room: HE 03 09 (how to get there)
Phone: +43 (1) 58801 – 192 405
Email: phozzova@forsyte.at
Web: http://forsyte.at/~hozzova/

Latest News

CAV 2013 in St. Petersburg!

Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.  

Continue reading

Full news archive