Generate a tailored SOP for Dr. Karine Even Mendoza. Improve your application with a focused, well-structured draft.
Karine Even-Mendoza is a Lecturer in the Department of Informatics at King's College London. Prior to joining King's, she was a Research Associate at the Department of Computing at Imperial College London, where she was part of the Software Reliability Group and the Multicore Programming Group. Karine's PhD was completed at King's College London, focusing on software model checking and abstraction refinement in collaboration with the USI Formal Verification and Security group. Her thesis entitled 'Efficient SMT-based Verification of Software Programs' emphasized model checking and SMT solving to facilitate incremental verification of software systems. Her research interests include programming languages, software verification, compilers, and software testing. She has contributed to various research outputs including conference papers and journal articles on topics related to software systems and verification techniques. Karine is actively involved in advancing the field of software engineering and has recently worked on projects aimed at optimizing programming models and enhancing software testing methodologies.
Requirements are consistent across King's Business School and Social Science & Public Policy departments for standard Master's entries.