SPLASH 2021 (series) / Karine Even-Mendoza
![Karine Even-Mendoza](https://2021.splashcon.org/getProfileImage/karineevenmendoza/8d2e5ef2-d406-48b6-a9cb-8a881b8d1276/small.jpg?1711459391000)
Registered user since Thu 6 Aug 2020
Name:Karine Even-Mendoza
Country:United Kingdom
Affiliation:Imperial College London
Personal website: https://srg.doc.ic.ac.uk/people/karine-evenmendoza/
X (Twitter): https://x.com/KarineEvenMend1
GitHub: https://github.com/karineek
Research interests:Model checking, software verification, testing and compilers
Contributions
SPLASH 2021-profile
View general profile
View general profile