Petr Ročkai
Assistant Professor at Masaryk University
South Moravia, Czechia
Summary
👤
Senior🎓
Top SchoolPetr Ročkai is an assistant professor and seasoned software engineer with 22 years of experience at the intersection of systems programming, formal methods, and high-performance computing. He specializes in verification of parallel C/C++ via LLVM-based model checking, has led development of the DIVINE model checker, and blends research with practical engineering from a long tenure at Red Hat and Masaryk University. Comfortable across C++, Haskell, C and scripting languages, he also contributes to infrastructure projects such as NixOS/hydra, improving build robustness and automation. An experienced tutor and seminar instructor, he pairs rigorous academic credentials (PhD in Computer Science) with hands-on DevOps and OS administration on OpenBSD, FreeBSD, NixOS and Debian. He seeks part-time roles that let him combine research, tooling, and systems work while maintaining a balanced lifestyle.
22 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, A, Doctor of Philosophy (Ph.D.), Computer Science, A at Masaryk UniversityBachelor’s Degree, Physics, Bachelor’s Degree, Physics at Masaryk University BrnoDiS Art, Bassoon Performance, DiS Art, Bassoon Performance at Konzervatórium v Bratislave
English, German, Russian, Slovak, Czech
Github Skills (6)
perl10
devops10
nix10
database-design10
cicd9
python5
Programming languages (10)
Github contributions (5)
NixOS/hydra
Feb 2013 - Sep 2013
Hydra, the Nix-based continuous build system
Role in this project:
Backend & DevOps Engineer
Backend & DevOps EngineerContributions:9 commits in 7 months
Contributions summary:Petr made several contributions related to improving the Hydra build system. They added support for Darcs repositories by implementing a new plugin and database schema. They also enhanced the system's robustness by addressing proxy header handling and optimizing log processing. Furthermore, the user worked on build process automation by adding a test case.
nixoscontinuoushydrabuild-system
paradise-fi/bricks
Jul 2014 - Nov 2017
Contributions:408 commits in 3 years 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.