Registered user since Thu 6 Aug 2020
Name:Karine Even-Mendoza
Country:United Kingdom
Affiliation:King’s College London
Personal website: https://www.kcl.ac.uk/people/karine-even-mendoza
X (Twitter): https://x.com/KarineEvenMend1
GitHub: https://github.com/karineek
Research interests:Model checking, software verification, testing and compilers
Contributions
PLDI 2023-profile
View general profile
View general profile