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.
Implementing Access Control Mechanisms using Rewriting Techniques, EU FP6 (Marie-Curie).
Logic and Computation - Rewriting Corner
LMS Journal of Computation and Mathematics
PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming. 5-7 September 2016, Edinburgh. PC member.
ICALP 2016 43rd International Colloquium on Automata, Languages and Programming. 11-15 July 2016, Rome. PC member.
Linearity 2016 Fourth International Workshop on Linearity. Affiliated with FSCD 2016. 25 June 2016, Porto. PC co-chair.
LSFA 2016 11th Workshop on Logical and Semantic Frameworks, with Applications. Affiliated with FSCD 2016. 25-26 June 2016, Porto. PC member.
WPTE 2016 Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Affiliated with FSCD 2016. 25-26 June 2016, Porto. PC member.
FSCD 2016 International Conference on Formal Structures for Computation and Deduction. 22-26 June 2016, Porto. SC member.
FoSSaCS 2016 19th International Conference on Foundations of Software Science and Computation Structures, Eindhoven, 2-8 April 2016. PC member.
WRLA 2016 11th International Workshop on Rewriting Logic and its Applications, Eindhoven, 2-3 April 2016. PC member.
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 Term 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,
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.