Development of tools for the
specification, analysis and verification of complex systems (e.g. biochemical systems,
programming languages, software applications).
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).
Logic and Computation - Rewriting Corner
LMS Journal of Computation and Mathematics
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).
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.
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.
annual Int. Workshop on Developments in Computational Models - SC member.
IFCoLog Advisory Board
ACM-W: Scholarships Committee
Current and former PhD Students:
Jesus Dominguez Alvarez,
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.