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


  • WRLA 2018 12th International Workshop on Rewriting Logic and its Applications, ETAPS. Thessaloniki, Greece, April 14-15 2018. PC member.
  • FSCD International Conference on Formal Structures for Computation and Deduction. SC member.
    FSCD 2018 Third International Conference on Formal Structures for Computation and Deduction. Part of FLoC, Oxford, July 2018. PC member.
  • TERMGRAPH 2018 10th Int. Workshop on Computing with Terms and Graphs. Affiliated with FSCD at FLoC. Oxford, 7 July 2018. PC chair.
    TERMGRAPH, a bi-anual series of Int. Workshops. SC member.
  • Linearity & TLLA 2018 Joint International Workshop: Linearity & Trends in Linear Logic and Applications. Affiliated with FSCD at FLoC. Oxford, 7-8 July 2018. PC co-chair.
  • DCM, annual Int. Workshop on Developments in Computational Models - SC member.
    DCM 2018 at FLoC, Oxford, 8 July 2018. PC member.
  • UNIF 2018 International Workshop on Unification. Affiliated with FSCD at FLoC. PC member.
  • WPTE 2018 Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Affiliated with FSCD at FLoC. PC member.
  • IFIP Working Group 1.6 on Rewriting.
  • IFCoLog Advisory Board

    ACM-W: Scholarships Committee

    EAPLS PhD Awards

    Current and former PhD Students:
    Abiar Al-Homaimeedi, Fahad Alarifi, Asad Ali, Christophe Calvès, 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 and 7CCSMCOM). Book: Models of computation - An introduction to computability theory.