Aarhus University Seal / Aarhus Universitets segl



  • Center for Basic Research in Program Verification

Software systems are an integral part of modern society, and software errors and security breaches pose enormous costs and risks. Center for basic research in Program Verification (CPV) develops fundamental mathematically based models and logics for rigorous mathematical reasoning about correctness and security of software systems.

To analyze and reason about software systems it is important to consider models at many different levels of abstraction. Since many real software errors and security breaches stem from subtle problems in implementations of software systems, CPV focus on detailed, so-called semantic, models of program execution.

CPV builds on several recent breakthrough results, by researchers from Department of Computer Science at Aarhus University, in program verification for modern software systems.


Welcome to Sergei Stepanenko

2020.09.07On Sept. 1, Sergei joined CVP as a PhD student. Sergei finished his bachelor degree at the Southern Federal University, Rostov-on-Don, Russia. During his final year, Sergei worked as a Haskell programmer. For his thesis, Sergei worked on the formalization of term-rewriting systems in Arend.

Welcome to Zongyuan Liu

2020.08.01Zongyuan Lui joins CPV as PhD student from October 1. Until then he works as a reserach ass. Zongyuan completed a BSc at Southeast University, China in 2019. After one year at the master's degree in Aarhus, he transferred to PhD, and is now making use of Iris logic to verify real world hypervisors.

Welcome to Amin Timany

2020.04.01April 1, Amin Timany starts at the department as Assistant Professor. Amin Timany has a master’s degree from Technical University of Dresden (Germany) in “Computational Logic” (2013) and a PhD in "Engineering Sciences — Computer Science” (2018) from KU Leuven (Belgium). Since October 2018 he has…

Welcome to Simon Friis Vindum

2020.02.21Simon Friis Vindum has joined CPV as a PhD student from Feb 1. Simon completed a BSc. in Computer Science at Aarhus University. Prios to his studies, he worked as a full stack developer at a small start-up. In his spare time, he enjoys going for walks and has created several open source projects.


    CPV  is currently looking for both PhD students and Postdocs

    If you are interested, please send an email to Lars Birkedal or Sofia Rasmussen.

Head of research


Center for Basic Research in Program Verification (CPV) is funded by a Villum Investigator grant (no. 25804) from The Villum Foundation from 2019-2025.

Affiliated researchers

Aslan AskarovAssociate ProfessorAarhus University
Amin TimanyAssistant Professor Aarhus University
Bas SpittersAssociate ProfessorAarhus University
Jaco van de PolProfessorAarhus University
Jon Michael Aanes Student Programmer Aarhus University