Pavel Parízek

Assistant Professor

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics, Charles University
Malostranske namesti 25, 118 00 Prague 1, Czech Republic

Curriculum vitae
E-mail: parizek at
Office: room 202, 2nd floor


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) static analysis of Java programs and usage of its results for improving scalability of software verification, (2) predicate abstraction of Java programs that use data structures (arrays, various collections) and multiple threads, and (3) using randomization to improve performance of error detection techniques based on state space traversal. I also started working on tools and methods for easier debugging of multi-threaded programs.

Recent publications

     Complete list (DBLP)



     Office hours: Mon 14:00-15:30, Tue 10:00-12:00, Thu 9:00-10:15, Thu 13:00-13:45
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>
  • How to find us?
Modified on 2017-10-30