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.
  • Implementing Access Control Mechanisms using Rewriting Techniques, EU FP6 (Marie-Curie).
  • Journals:

  • Logic and Computation - Rewriting Corner
  • LMS Journal of Computation and Mathematics
  • Events:

  • ICALP 2016 43rd International Colloquium on Automata, Languages and Programming. 11-15 July 2016, Rome. PC member.
  • FSCD 2016 International Conference on Formal Structures for Computation and Deduction. 22-26 June 2016, Porto. SC member.
  • FoSSaCS 2016 19th International Conference on Foundations of Software Science and Computation Structures, Eindhoven, 2-8 April 2016. PC member.
  • WRLA 2016 11th International Workshop on Rewriting Logic and its Applications, Eindhoven, 2-3 April 2016. PC member.
  • RTA 2015 26th International Conference on Rewriting Techniques and Applications, Warsaw, 29th June-1st July 2015 (RDP 2015). PC chair.
  • UNIF, the International Workshop on Unification. SC member (2011-2015). Invited speaker at UNIF 2015
  • TERMGRAPH, a bi-anual series of Int. Workshops on Computing with Terms and Graphs, at ETAPS. SC member.
    TERMGRAPH 2016, Eindhoven, The Netherlands, 8 April 2016. PC member.
  • IFIP Working Group 1.6 on Term 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, 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.