Formát pro tisk z prohlížeče, MS-Word, LaTeX, rich LaTeX

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


Curriculum Vitae: RNDr. Petr Ročkai, Ph.D. (učo 139761), version: English(1), last update: 2021/04/18 04:33, P. Ročkai