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:

  • 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
  • Journal of Automated Reasoning Special Issue on Linearity
  • LMCS Special Issue - RTA/TLCA 2015


  • CSL 2020 28th EACSL Annual Conference on Computer Science Logic. 13-16 January 2020. Barcelona. PC co-chair.
  • FSCD 2020 5th Int Conference on Formal Structures for Computation and Deduction. July 2020, Paris. PC member.
  • WRLA 2020 13th International Workshop on Rewriting Logic and its Applications, ETAPS. Dublin, April 2020. PC member.
  • AMINSE 2019 Fourth International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering, 23-26 September 2019, Tbilisi. Invited Speaker.
  • LICS 2019 Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 24–27 June 2019, Vancouver. PC member
  • WPTE 2019 6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Affiliated with FSCD. Invited Speaker.
  • GCM 2019 Int. Workshop on Graph Computation Models, affiliated with 12th International Conference on Graph Transformation. July 2019. Eindhoven. PC member.
  • LSFA Workshop on Logical and Semantic Frameworks, with Applications. SC member.
  • HOTSOS 2019 Symposium and Bootcamp on the Science of Security - Hot Topics in the Science of Security (HotSoS). 2-3 April 2019, Nashville, USA. PC member.
  • BigDataSecurity 2019 5th IEEE International Conference on Big Data Security and Privacy (BigDataSecurity 2019), 19-21 May 2019, Washington DC. PC member.
  • IFIP Working Group 1.6 on Rewriting.
  • TERMGRAPH, a bi-anual series of Int. Workshops. SC member.
  • IFCoLog Advisory Board

    EAPLS PhD Awards

    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, 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.