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.
OPEN POSITIONS
CPV is currently looking for both PhD students and Postdocs.
If you are interested, please send an email to Lars Birkedal.
Center for Basic Research in Program Verification (CPV) is funded by the Villum Investigator grant (no. 25804) from The Villum Foundation from 2019-2027 and the Villum Investigator grant (no. 73403) from the The Villum Foundation from 2025-2030.
| Name | Job title | Phone | Building | |
|---|---|---|---|---|
| Aguirre, Alejandro | Assistant Professor | alejandro@cs.au.dk | ||
| Birkedal, Lars | Professor | birkedal@cs.au.dk | +4523838546 | 5341, 225/227 |
| Gratzer, Daniel | Assistant professor | gratzer@cs.au.dk | 5341, 127 | |
| Haselwarter, Philipp Georg | Assistant Professor | pgh@cs.au.dk | 5341, 228 | |
| Liu, Zongyuan | Postdoc | zy.liu@cs.au.dk | ||
| Mathiasen, Anders Alnor | PhD Student | alnor@cs.au.dk | ||
| Namakonov, Egor Sergeevich | Research Assistant | e.namakonov@cs.au.dk | ||
| Pedersen, Mathias | PhD Student | mp@cs.au.dk |
| Name | Position | Affiliation |
| Aslan Askarov | Associate Professor | Aarhus University |
| Amin Timany | Assistant Professor | Aarhus University |
| Bas Spitters | Associate Professor | Aarhus University |
| Jaco van de Pol | Professor | Aarhus University |
| Jean Pichon | Assistant Professor | Aarhus University |
| June Belinda Cerise Rousseau | PhD student | Aarhus University |
| Name | Position | Now at |
| Armael Gueneau | Postdoc | Inria Saclay, France |
| Alix Trieu | Postdoc | National Cybersecurity Agency of France (ANSSIF), Paris, France |
| Patrica Johann | Visiting Profssor | Appalachian State University |
| Pierre Cagne | Visiting Postdoc | Appalachian State University |
| Sofia H. Rasmussen | Center Manager | Department of Computer Science, Aarhus University |
| Arnaud Daby-Seesaram | Intern | ENS Paris |
| Alban Reynaud | Intern | ENS Lyon |
| Galaad Langlois | Intern | ENS Lyon |
| Kilian Ravon | Intern | ENS Rennes |
| Felix Wiemuth | Research assistant | |
| Zesen Qian | PhD student | Jane Street |
| Aïna Linn Georges | PhD student | Max Planck Institute |
| Levs (Léon) Gondelman | Postdoc | Aalborg University |
| Daniil Frumin | Postdoc | |
| Jonathan Sterling | Postdoc | University of Cambridge |
| Abel Nieto Rodriguez | PhD student | |
| Vincent Lafeychine | Intern | Ens Paris Saclay |
| León Ducruet | Intern | Ens Lyon |
| Simon Friis Vindum | PhD student | |
| Mathias Møller | Research assistant | Aarhus University |
| Jonas Kastberg Hinrichsen | Postdoc | Aalborg University, IT University of Copenhagen |
| Simon O. Gregersen | Postdoc | New York University |
| Philipp Stassen | PhD student | |
| Daniel Gratzer | Postdoc | Aarhus University |
| Frederik Lerbjerg Aagaard | PhD student | |
| Sergei Stepanenko | PhD student | IT University of Copenhagen |
| Maxime Legoupil | Postdoc | University of Singapore |
| Félix Sassus Bourda | Intern | Ens Paris Saclay |
| Iwan Quemerais | Intern | Ens Lyon |
| Virgil Marionneau | Intern | Ens Rennes |
| León Ducruet | Intern | Ens Lyon |
| Julien Marquet | Intern | Ens PSL |
| Zacharie Moughanim | Intern | Ens Rennes |
