Pavel Parizek
Associate Professor At Charles University In Prague
Czechia
Summary
👤
Senior🎓
Top SchoolPavel Parizek is an Associate Professor at Charles University in Prague with 13 years of professional experience and a PhD in Computer Science focused on formal verification and analysis of software systems. He leads research on analysis, testing, and verification of Java code, translating rigorous academic methods into practical tools and methodologies for improving software reliability. Pavel’s career blends deep academic roles—from researcher and postdoc to faculty—with early hands-on experience as a software developer, giving him a rare perspective across theory and implementation. Based in Czechia, he is known for applying formal techniques to real-world codebases and mentoring the next generation of verification researchers.
13 years of coding experience
14 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at Charles University in Prague
Github Skills (21)
jvm-bytecode10
exceptions10
jar10
unhandled10
java-bytecode10
unhandled-exceptions9
bytecode9
extensible9
model-checking8
synchronized8
java8
static-analysis8
infrastructure7
concurrency7
grammars3
Programming languages (2)
Github contributions (5)
d3sformal/ingrid-paper
Sep 2016 - May 2018
Contributions:60 pushes, 1 branch in 1 year 8 months
d3sformal/j2bp
Feb 2015 - Oct 2017
Contributions:9 pushes in 2 years 9 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.