placeholder image
  • Contact Info
Publications in VIVO

Cerny, Pavol Assistant Professor


Research Areas research areas


research overview

  • Dr. Cerny's research focuses on improving programmer productivity by developing methods and tools that make it easier to write reliable software. His research efforts are concentrated in two areas. The first area is program verification, where he develops techniques for automatically proving correctness of programs. Current focus is on verifying security properties of software. The second, more recent research area, is program synthesis. His goal is to develop techniques for synthesizing programs from insights provided by the programmer in a variety of styles (imperative programming, declarative specification, example scenarios). Current application areas for this work include network controllers (for software-defined networks) and device drivers.


  • computer-aided verification, programming languages, program synthesis, algorithmic and logical foundations for reliable software


selected publications


International Activities

global connections related to teaching and scholarly work (in recent years)

Other Profiles