SPLASH 2021 (series) / Karine Even-Mendoza

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/
GitHub:https://github.com/karineek
Research interests:Model checking, software verification, testing and compilers
Contributions
SPLASH 2021 | Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile