Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
- Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
- Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
- Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
- Mathys RennelaResearcher at INRIAVerified email at inria.fr
- Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk
- Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
- Bas WesterbaanResearch Engineer, CloudflareVerified email at cloudflare.com