Registered user since Mon 19 Aug 2024
Name:Denis Carnier
Country:Belgium
Affiliation:KU Leuven
Personal website: https://distrinet.cs.kuleuven.be/people/DenisCarnier
GitHub: https://github.com/decrn
Research interests:Programming Languages, Verification, Security
Contributions
Using general profile