Karine Even-mendoza
Lecturer In Systems & Programming Languages at King's College London
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolKarine Even-Mendoza is a Lecturer in Systems & Programming Languages at King's College London with a PhD in Computer Science and over a decade of combined academic and industry experience in software verification, programming languages, and software reliability. Her work spans SMT-based model checking, abstraction refinement, compiler testing and code analysis, blending deep formal methods expertise with practical software engineering gained at eBay and IBM Research. Before her lectureship she contributed to Imperial College London’s Software Reliability and Multicore Programming groups, and her PhD research—done in collaboration with an international formal verification group—focused on efficient, incremental SMT-powered verification techniques. Comfortable writing production-quality code across multiple languages, she actively seeks collaborations that bridge rigorous verification research and real-world software reliability challenges.
10 years of coding experience
Master of Science - MS, Computer Science, 90, Master of Science - MS, Computer Science, 90 at Technion - Israel Institute of TechnologyBachelor of Arts - BA, Computer Science, 85, Bachelor of Arts - BA, Computer Science, 85 at The Academic College of Tel-Aviv, YaffoMAMRAM Graduate, Computer Science, MAMRAM Graduate, Computer Science at Israel Defense Forces' Computer Science School (MAMRAM)Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at King's College London
Github Skills (45)
sdk10
architecture9
testing9
simulator9
mutators9
risc-v9
simulation9
gcc9
python9
x869
abstraction9
qiskit9
toolchain9
checker9
modeling9
Programming languages (6)
Github contributions (5)
karineek/KEM_CodeU_Assignments
May 2017 - Jul 2017
Contributions:15 PRs, 51 pushes, 14 branches in 2 months
react
karineek/SearchGEM5
Oct 2023 - Sep 2025
gem5 testing project
Contributions:1 release, 2 PRs, 62 pushes in 1 year 11 months
gem5testingfuzzingsbsesbst
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.