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 (41)
simulation10
simulator10
modeling10
upstream9
architecture9
modular9
software-design9
risc-v9
gcc9
x869
verification9
toolchain9
sdk9
checker9
clang9
Programming languages (6)
Github contributions (5)
karineek/CsmithEdge
Jul 2020 - Jan 2022
A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and code-execution time solutions.
Contributions:2 releases, 201 commits, 2 PRs in 1 year 6 months
compilercsmithgccsafe-math-wrapperstesting
karineek/SearchGEM5
Oct 2023 - Feb 2025
gem5 testing project
Contributions:1 release, 2 PRs, 61 pushes in 1 year 4 months
fuzzinggem5sbsesbsttesting
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.