Development of tools for the
specification, analysis and verification of complex systems (e.g., biochemical systems, financial 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 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.
Logic and Computation - Rewriting Corner
CSL 2017 26th EACSL Annual Conference on Computer Science Logic. 20-25 August 2017. Stockholm. PC member.
ICGT 2017 10th International Conference on Graph Transformation. 18-19 July 2017. Marburg. PC member.
UNIF 2017 International Workshop on Unification. Affiliated with FSCD and ICFP, Oxford. PC member
LSFA 2017 12th Workshop on Logical and Semantic Frameworks, with Applications. Affiliated with ITP-Tableaux-FroCoS. September 25-29 2017, Brasilia. PC member.
FSCD International Conference on Formal Structures for Computation and Deduction. SC member.
Linearity 2016 Fourth International Workshop on Linearity. Affiliated with FSCD 2016. 25 June 2016, Porto. PC co-chair. JAR Special Issue on Linearity (Editor)
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 Rewriting.
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,
Ana Cristina Rocha Oliveira,
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.