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, 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 research projects:

  • Dynamic Access Control, funded by EOARD
  • PORGY - Interactive Analysis and Visualisation of Port Graph Rewriting Systems
  • 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:

  • RTA 2015 26th International Conference on Rewriting Techniques and Applications, Warsaw, Poland, 29th June-1st July 2015 (RDP 2015). PC chair.
  • CSL 2015 24th EACSL Annual Conference on Logic in Computer Science. Berlin, 7-10 September 2015. PC member.
  • GCM 2015 6th International Workshop on Graph Computation Models, co-located with ICGT 2015, part of STAF 2015, L'Aquila, Italy, 20 July 2015. PC member.
  • WWV 2015 Automated Specification and Verification of Web Systems, 11th International Workshop. 23 June 2015, Oslo, Norway. Affiliated with FM 2015. PC member.
  • FoSSaCS 2015 18th International Conference on Foundations of Software Science and Computation Structures, London, UK, 13-17 April 2015. PC member.
  • 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.
  • IFIP Working Group 1.6 on Term Rewriting.
  • LICS, IEEE Symposium on Logic in Computer Science. Organising Committee member.
  • 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, 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.