Dr. Maribel Fernández

Professor of Computer Science
Department of Informatics, 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).
    A logical framework based on a nominal dependent type system is described here (comments welcome).
  • 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.
  • FoSSaCS 2015 18th International Conference on Foundations of Software Science and Computation Structures, London, UK, 13-17 April 2015. PC member.
  • CiE 2014 Computability in Europe - Language, Life, Limits. Budapest, Hungary, June 23 - 27, 2014. Invited speaker.
  • CSL-LICS 2014 Joint meeting: 23rd EACSL Annual Conference on Computer Science Logic (CSL) and 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria, 14-18 July 2014. PC member.
  • RTA-TLCA 2014 Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, Vienna, 14-17 July 2014. PC member.
  • ICALP 2014, 41st International Colloquium on Automata, Languages, and Programming, Copenhagen, Denmark, 8-11 July 2014. PC member.
  • LSFA 2014, 9th Logical and Semantic Frameworks, with Applications, Brasilia D.F., Brazil, 8-9 September 2014. PC member.
  • LATIN 2014, Latin American Theoretical INformatics, Montevideo, Uruguay, 31 March-4 April 2014. PC member.
  • UNIF, the International Workshop on Unification. SC member (2011-2015). UNIF 2014, FLOCS, Vienna, 13 July 2014. PC member.
  • Linearity 2014, 3rd Int. Workshop on Linearity, FLOCS, Vienna, 13 July 2014. PC member.
  • WPTE 2014, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, FLOCS, Vienna, 13 July 2014. PC member.
  • TERMGRAPH, a bi-anual series of Int. Workshops on Computing with Terms and Graphs, at ETAPS. SC member. TERMGRAPH 2014 at FLOCS.
  • IFIP Working Group 1.6 on Term Rewriting.
  • PPDP - ACM Sigplan International Symposium on Principles and Practice of Declarative Languages. SC member.
  • 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, 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.