Karine Even-Mendoza is a Lecturer in Systems and Programming Languages in the Department of Informatics at King's College London. Her research interests include software testing and fuzzing, programming languages, AI-assisted software engineering, quantum software engineering, and software reliability.

Before joining King’s, she was a Research Associate in the Department of Computing at Imperial College London, where she worked with the Software Reliability Group (SRG) and Multicore Programming Group on compiler and software testing, resulting in publications introducing CsmithEdge and GrayC. She completed her PhD at King's College London, studied there, and worked at the Software Systems (SSY) group for four years. Her research focused on SMT-based software verification, model checking, and abstraction refinement.

Research interests

• Software Testing & Fuzzing
• Search-Based Software Engineering
• Programming Languages & Compilers
• AI / LLM-Driven Software Engineering
• Quantum Software Engineering
• Formal Methods
• Green Software Engineering