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 Abel Nieto

2020.01.07Abel Nieto joins CPV as a PhD student. Abel completed a BSc. in Computer Science at the University of Waterloo, in balmy Ontario, Canada. Before starting his MSc, Abel worked three years at Google, writing mobile apps and distributed systems. Welcome, we look forward to working with you!

Welcome to Armaël Guéneau

2020.01.07Armaël Guéneau has joined CPV as a postdoc. Armaël did his PhD at Inria Paris in the Gallium team, with Arthur Charguéraud and François Pottier. When not in the office, he enjoys hacking on OCaml-related projects and sometimes the OCaml compiler. Welcome, we look forward to working with you!

You can get great ideas anywhere, but if you want them to succeed go to Jutland!

2019.12.19Yesterday, Aarhus University and Faculty of Science and Technology celebrated five new VILLUM Investigators at AIAS. Founder of VELUX and the VILLUM Foundation, Villum Kann Rasmussen once said; “You can get great ideas anywhere, but if you want them to succeed go to Jutland”. This notion might…

Lars Birkedal is PC Chair for POPL 2020 in New Orleans

2019.12.17On January 19-25, POPL 2020 will take place in New Orleans. Professor Lars Birkedal will function as program chair for the conference.


    CPV  is currently looking for both PhD students and Postdocs

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


Sofia Rasmussen

Research Group Coordinator

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 TimanyPostdoc KU Leuven
Bas SpittersAssociate ProfessorAarhus University
Jaco van de PolProfessorAarhus University
Jon Michael Aanes Student Programmer Aarhus University