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.



CPV  is currently looking for both PhD students and Postdocs

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


    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