Dr. Maribel Fernández

Professor of Computer Science
Department of Informatics, King's College London
Maribel.Fernandez at kcl.ac.uk

Research
My work focuses on the definition of multi-paradigm computation models and associated programming languages, and the development of tools for the specification, analysis and verification of complex systems, such as biological systems, telecommunications or mobile software applications.

Main research topics:

  • Programming languages: Types, Semantics, Security.
  • Rewrite-based computation models: term and graph rewriting, lambda-calculus, interaction nets.

    Software Modelling and Applied Logic Group

    Publications

    Current and recent research projects:

  • Dynamic Access Control, funded by EOARD
  • PORGY - Interactive Analysis and Visualisation of Port Graph Rewriting Systems
    INRIA Associated team programme (GRAVITE- INRIA Bordeaux)
  • Dependent types for nominal terms, Royal Society International Joint Project (King's College London, University ORT Uruguay).
    A logical framework based on a nominal dependent type system is described here (comments welcome).
  • Computational Applications of Nominal Sets (CANS), funded by the EPSRC.
  • Implementing Access Control Mechanisms using Rewriting Techniques, EU FP6 (Marie-Curie).
  • Journals:

  • Logic and Computation - Rewriting Corner
  • LMS Journal of Computation and Mathematics
  • ISRN Computational Mathematics

    Events:

  • FCT 2013, 19th Int. Conference on Fundamentals of Computation Theory, Liverpool, UK, August 2013. PC member.
  • LICS 2013, IEEE Symposium on Logic in Computer Science, New Orleans, USA, June 2013. PC member.
  • RTA 2013, Eindhoven, The Netherlands, June 2013. PC member.
  • LSFA 2012, Logical and Semantic Frameworks, with Applications, Rio de Janeiro, Brasil, 28-29 September 2012. Invited Speaker
  • SISTEDES 2012 (PROLE), Almeria, Spain, 18-19 September 2012. Invited Speaker
  • LOPSTR 2012, 22nd International Symposium on Logic-Based Program Synthesis and Transformation, Belgium, September 2012. PC member.
  • IWS 2012, at IJCAR 2012, Manchester, June 2012. PC Co-Chair.
  • UNIF, the International Workshop on Unification. SC member (2011-2015).
  • TERMGRAPH, a bi-anual series of Int. Workshops on Computing with Terms and Graphs, at ETAPS. SC member.
    TERMGRAPH 2013 at ETAPS, Rome, 23 March 2013, PC member.
  • 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

    ACM-W

    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.

    On leave from September 2012.