Maribel Fernández

Professor of Computer Science
Department of Informatics
Faculty of Natural and Mathematical Sciences
King's College London, Strand Campus
Maribel.Fernandez at
Office: Bush House, N7.19 Tel: +44 20 7848 2499

Development of tools for the specification, analysis and verification of complex systems (e.g., biochemical systems, financial systems, programming languages, software applications).

Main topics:

  • Programming languages: Types, Semantics, Security.
  • Rewrite-based computation models: term and graph rewriting, lambda-calculus, interaction nets.

    Software Systems Group


    Current and recent projects:

  • Axiomatic modelling of obligations for privacy enforcement, London Mathematical Society
  • Matching Algorithms, with Rangewell and TapSW, funded by Innovate UK.
  • Dynamic Access Control, funded by EOARD and University of Texas
  • PORGY - Interactive Analysis and Visualisation of Port Graph Rewriting Systems, with INRIA and University of Bordeaux.
  • Dependent types for nominal terms, Royal Society International Joint Project (with University ORT Uruguay).
  • Journals:

  • Logic and Computation - Rewriting Corner
  • Discover Internet-of-Things. Springer Nature. Editorial Board member.
  • Journal of Automated Reasoning Special Issue on Linearity
  • LMCS Special Issue - CSL 2020
  • LMCS Special Issue - RTA/TLCA 2015


  • LOPSTR 2020 30th International Conference on Logic-Based Program Synthesis and Transformation. September 2020, Bologna. PC chair.
  • CODASPY 2021 The 11th ACM Conference on Data and Application Security and Privacy. April 2021. PC member.
  • WiL 2021 Women in Logic Workshop. Affiliated with LICS 2021, Rome, June 2021. PC member.
  • AILA 2021 XXV Incontro di Logica (Italian Association for Logic and its Applications), Caserta 2-5 September 2021. Invited Speaker.
  • Leeds Computability Days June 2021. Invited Speaker.
  • CODASPY 2022 The 12th ACM Conference on Data and Application Security and Privacy. April 2022. PC co-chair.
  • FoSSaCS 2022 25th International Conference on Foundations of Software Science and Computation Structures. PC member.
  • IFIP Working Group 1.6 on Rewriting. International School on Rewriting 2021.
  • TERMGRAPH, a bi-anual series of Int. Workshops. SC member.
  • IFCoLog Advisory Board

    EACLS Executive Board

    EAPLS Board (General Secretary), EAPLS "Best Dissertation Award" expert committee (co-chair)

    Current and former PhD Students:
    Abiar Al-Homaimeedi, Fahad Alarifi, Asad Ali, Christophe Calvès, Washington de Carvalho Segundo, Jesus Dominguez Alvarez, Nneka Ene, Elliot Fairweather, Fabien Fleutot, Jenjira Jaimunk, Lionel Khalil, Chris Munhuweyi, Olivier Namet, Daniele Nantes, Ana Cristina Rocha Oliveira, Nikolaos Siafakas, Francois-Régis Sinot, Jeffrey Terrell, Janos Varga, Matthew Walker.


  • Programming Language Design (5CCS2PLD). Book: Programming Languages and Operational Semantics: A Concise Overview
  • Computation Models (6CCS3COM). Book: Models of computation - An introduction to computability theory.