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 d3s.mff.cuni.cz
Office: room 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

     Office hours: Mon 10:30-12:00, Tue 10:00-12:00, Thu 13:30-15:00
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2018-02-13