-
Aarhus University
- Aarhus, Denmark
- https://cmester0.github.io/
- https://orcid.org/0000-0003-3271-3593
Ulrik Boll Djurtoft
ullebe1
MSc. Computer Science,
Sr. IT Engineer at the LEGO Group
The LEGO Group Denmark
Steffan Sølvsten
ssoelvsten
Postdoctoral researcher working on algorithms for program correctness and security.
Aarhus University Aarhus, Denmark
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany