RNDr. Petr Ročkai, Ph.D.
Assistant professor, Department of Computer Systems and Communications
CV
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