Skip to main content
Professor Maribel Fernandez
Professor Maribel Fernandez

Professor Maribel Fernandez

Interim Vice Dean (Education)

  • Deputy Head of Department, Academic Planning (Informatics)
  • Corner editor of the International Journal on Logic and Computation, OUP
  • Executive Board Member – Logical Methods in Computer Science journal

Research interests

  • Computer science

Biography

About

  • President of the European Association for Computer Science Logic (EACSL) and chair of the Ackermann Award Jury (EACSL Outstanding Dissertation Award for Logic in Computer Science)
  • EAPLS Board member (European Association for Programming Languages and Systems)
  • ACM SIGLOG Executive Committee member

Research Interests

  • Programming languages (semantics, types, security)
  • Models of computation
  • Security
  • Rewriting

More Information

    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.

    THUMB PAGE Security Cameras
    Security (Informatics)

    The Security Hub consolidates the research related to security

    hospital-news
    Health (Informatics)

    The Health Hub centres on computational characterisation of medically relevant study cases and data.

    Robots in the Department of Informatics
    Trusted Autonomous Systems (Informatics)

    The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.

    sustainable ai_st_1428308240 copy
    Sustainability Hub

    The Sustainability Hub consolidates the research related to sustainability

    cyberculture
    King's Cybersecurity Centre

    King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.

    ARTICLE Code
    Software Systems

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

    News

    Simplifying software verification techniques

    Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to develop techniques to enhance software verification...

    programming code
    Maribel Fernandez

    Professor wins Supervisory Excellence Award

    Maribel Fernandez, Professor of Computer Science in the Department of Informatics, has been awarded the King’s Supervisory Excellence Award for the Faculty of...

    Graphic of pink and blue fibre optic cables like an explosion

      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.

      THUMB PAGE Security Cameras
      Security (Informatics)

      The Security Hub consolidates the research related to security

      hospital-news
      Health (Informatics)

      The Health Hub centres on computational characterisation of medically relevant study cases and data.

      Robots in the Department of Informatics
      Trusted Autonomous Systems (Informatics)

      The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.

      sustainable ai_st_1428308240 copy
      Sustainability Hub

      The Sustainability Hub consolidates the research related to sustainability

      cyberculture
      King's Cybersecurity Centre

      King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.

      ARTICLE Code
      Software Systems

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

      News

      Simplifying software verification techniques

      Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to develop techniques to enhance software verification...

      programming code
      Maribel Fernandez

      Professor wins Supervisory Excellence Award

      Maribel Fernandez, Professor of Computer Science in the Department of Informatics, has been awarded the King’s Supervisory Excellence Award for the Faculty of...

      Graphic of pink and blue fibre optic cables like an explosion