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 a Villum Investigator grant (no. 25804) from The Villum Foundation from 2019-2025.
Name | Job title | Phone | Building | |
---|---|---|---|---|
Aagaard, Frederik Lerbjerg | PhD Student | aagaard@cs.au.dk | ||
Aguirre, Alejandro | Postdoc | alejandro@cs.au.dk | ||
Birkedal, Lars | Professor | birkedal@cs.au.dk | +4523838546 | 5341, 225/227 |
Gratzer, Daniel | Postdoc | gratzer@cs.au.dk | ||
Haselwarter, Philipp Georg | Assistant Professor | pgh@cs.au.dk | ||
Legoupil, Maxime Robert Sébastien | Research Fellow | maxime@cs.au.dk | ||
Liu, Zongyuan | PhD Student | zy.liu@cs.au.dk | ||
Mathiasen, Anders Alnor | PhD Student | alnor@cs.au.dk | ||
Namakonov, Egor Sergeevich | PhD Student | e.namakonov@cs.au.dk | ||
Stassen, Philipp Jan Andries | PhD Student | stassen@cs.au.dk | ||
Stepanenko, Sergei | PhD Student | sergei.stepanenko@cs.au.dk |
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 |
Bastien Tom Titouan 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 de Rennes |
Felix Wiemuth | Research assistant | |
Zesen Qian | PhD student | |
Aïna Linn Georges | PhD student | |
Levs (Léon) Gondelman | Postdoc | |
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 |