RNDr. Petr Ročkai, Ph.D.

Curriculum Vitae

Person-Related Identification Information

• Petr Ročkai

Employment - Position

• Assistent Professor

Education and Academic Qualifications

• 2015: PhD. in computer science, thesis on Model Checking Software
• 2010: MSc. in computer science, thesis on Partial Order Reduction in Parallel Model Checking, FI MUNI
• 2008: BSc. in computer science, thesis on Multi-Threaded Nested DFS, FI MUNI

Employment

• 2017 – : Assistant Professor at FI MUNI
• 2015 – 2017: Postdoctoral Researcher at FI MUNI
• 2006 – 2015: Research Assistant at FI MUNI
• 2005 – 2015: Software Engineer at Red Hat Czech

Teaching Activities

• Operating Systems
• Programming in C, C++, and Python

Scientific and Research Activities

• Model Checking and Automated Analysis of Software
• The DIVINE Software Model Checker

2021/04/18