RNDr. Petr Ročkai, Ph.D.


E‑mail:
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

You are running an old browser version. We recommend updating your browser to its latest version.

More info