Skip to main content
Karine Even-Mendoza

Dr Karine Even-Mendoza

Lecturer in Systems & Programming Languages

Research interests

  • Computer science

Biography

Karine is a Lecturer in Systems and Programming Languages in the Department of Informatics at King's College London. Before joining King's, she was a Research Associate in the Department of Computing at Imperial College London, where she worked in the Software Reliability Group (SRG) and Multicore Programming Group on compiler testing and software testing in general. She completed her PhD at King's College London, studied there, and worked at the Software Systems (SSY) group for four years. Her PhD research on software model checking and abstraction refinement was done in collaboration with the USI Formal Verification and Security group. Her PhD thesis was on Efficient SMT-based Verification of Software Programs in the field of model checking, SMT solving, and incremental verification for software.

Research interests

  • Programming languages
  • Software verification
  • Compilers
  • Software testing and coverage
  • SAT/SMT for software verification
  • Model checking

    Research

    FEATURE Finance
    Finance (Informatics)

    The Finance Hub conducts fundamental and applied research at the intersection of finance and computation, a sector which is colloquially known as FinTech.

    ARTICLE Code
    Software Systems

    The group studies design, modelling and engineering of software systems.

      Research

      FEATURE Finance
      Finance (Informatics)

      The Finance Hub conducts fundamental and applied research at the intersection of finance and computation, a sector which is colloquially known as FinTech.

      ARTICLE Code
      Software Systems

      The group studies design, modelling and engineering of software systems.