Dr. Maribel Fernández

Professor of Computer Science
Department of Informatics
Faculty of Natural and Mathematical Sciences
King's College London
Maribel.Fernandez at kcl.ac.uk
Office: S1.05 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 Modelling and Applied Logic 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).
  • Computational Applications of Nominal Sets (CANS) EPSRC.
  • Journals:

  • Logic and Computation - Rewriting Corner
  • Events:

  • UNIF 2017 International Workshop on Unification. Affiliated with FSCD and ICFP, Oxford. PC member
  • WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Affiliated with FSCD, 8 September 2017, Oxford. PC member
  • LSFA 2017 12th Workshop on Logical and Semantic Frameworks, with Applications. Affiliated with ITP-Tableaux-FroCoS. September 25-29 2017, Brasilia. PC member.
  • CSL 2017 26th EACSL Annual Conference on Computer Science Logic. 20-25 August 2017. Stockholm. PC member.
  • ICGT 2017 10th International Conference on Graph Transformation. 18-19 July 2017. Marburg. PC member.
  • FSCD International Conference on Formal Structures for Computation and Deduction. SC member.
  • Linearity 2016 Fourth International Workshop on Linearity. Affiliated with FSCD 2016. 25 June 2016, Porto. PC co-chair. JAR Special Issue on Linearity (Editor)
  • TERMGRAPH, a bi-anual series of Int. Workshops on Computing with Terms and Graphs, at ETAPS. SC member.
  • IFIP Working Group 1.6 on Rewriting.
  • DCM, annual Int. Workshop on Developments in Computational Models - SC member.
  • IFCoLog Advisory Board

    ACM-W: Scholarships Committee

    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.

    EAPLS PhD Awards


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