Contact information:

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University

Malostranské náměstí 25
118 00 Praha 1
Czech Republic

E-mail: parizek@d3s.mff.cuni.cz
Phone: +420 95155 4148
Office: 202, 2nd floor

Research

The goal of my research is to develop methods and tools for practical program verification and debugging. I am especially interested in techniques that scale to large multi-threaded programs, detect bugs in real code efficiently, and do not report many false warnings. My current projects focus on (1) incremental analysis, verification and debugging of multithreaded programs, (2) static analysis of Java programs and its usage for improving scalability of software verification, and (3) using randomization to improve performance of error detection techniques based on state space traversal.

Recent publications

     Complete list (DBLP)

Software

Teaching