Contact Details

E-mails & Phone

Karine Even-Mendoza

Karine Even-Mendoza

PhD candidate at King's College London (Informatics)

London, England Metropolitan Area

A PhD candidate in Computer Science at King's College London (2020) with an M.Sc in Computer Science from the Technion (2013) and a B.A. in Computer Science from the Academic College of Tel-Aviv-Yaffo (2006), and a MAMRAM graduate, IDF's elite software engineering programme (1998).

My research and academic education focus on software verification, model checking, static and dynamic analysis, and software engineering. My experience includes working in several research teams on creating static and dynamic software verification tools (e.g., HiFrog, ACE). I worked in research teams at eBay and IBM Research since 2009; I have previous experience as a developer/software engineer in both local and international software companies since 2002; I have good coding skills in several programming languages.


  • Teaching Assistant (The Academic College of Tel Aviv Yaffo)
  • Student Position in the Formal Verification Group, at IBM Research (IBM)
  • Research Data Scientist in Structure Data Group (eBay Inc)
  • Teaching Assistant (Technion - Israel Institute of Technology)
  • Teaching Assistant and PhD candidate with NMS Faculty Studentship (NMSFS), Informatics Department (King's College London)


People also viewed these profiles

People also viewed these profiles

Matt Tabone

Developer / SQL Administrator at Fennemore Craig, P.C. @ Greater Phoenix Area

People also viewed these profiles

Denis Shuleko

DevOps Engineer at IBM Guardium @ Tel Aviv-Yafo, Tel Aviv