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) 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)



     Office hours: Mon 14:00-16:00, Tue 9:00-10:30, Wed 15:00-16:30
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 2018-09-20