Improver

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.

---

Experience:

• 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)

Skills:

• UML
• Hadoop
• Scalding
• Data Mining
• Research
• C++
• Software Development
• Physics
• Static Analysis
• Software Design
• Unix
• Artificial Intelligence
• Object-Oriented Programming (OOP)
• LaTeX
• Git
• Machine Learning
• Model Checking
• Data Structures
• Software Verification
• SAT Solvers
• Scientific Writing
• Java
• SMT Solvers
• Distributed Systems
• Linux
• Software Engineering
• Formal Methods
• Object Oriented Software
• Logic
• C
• Java Concurrency
• Algorithms
• Constraint solving/SMT
• Programming Languages
• Program Analysis
• Program Development
• Research Open Source Projects
• Computer Science
• Static and dynamic analysis
• Open Source Development
• Structure Data
• C/C++
• Formal Verification
• Multithreading
• Literature Reviews
• Scala
• Shell Scripting
• Programming
• SQL
• Databases