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 Systems Group
Current and recent projects:
Axiomatic modelling of obligations for privacy enforcement, London Mathematical Society
Matching Algorithms, with Rangewell and
TapSW, funded by Innovate UK.
Dynamic Access Control, funded by EOARD and University of Texas
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).
Logic and Computation - Rewriting Corner
Discover Internet-of-Things. Springer Nature. Editorial Board member.
Journal of Automated Reasoning Special Issue on Linearity
LMCS Special Issue - RTA/TLCA 2015
Individualized Cybersecurity Research Mentoring Workshop (iMentor 2020, Affiliated with ACM CCS 2020). Selection Panel Member.
LOPSTR 2020 30th International Conference on Logic-Based Program Synthesis and Transformation. September 2020, Bologna. PC chair.
SPLV 2020 Scottish Programming Languages and Verification Summer School, August 2020. Invited Lecturer, Nominal Techniques.
IEEE BigDataSecurity 2020 25-27 May 2020, Baltimore. Senior Research Award.
CyberW New Orleans, 18 March 2020. Keynote Speaker.
CSL 2020 28th EACSL Annual Conference on Computer Science Logic. 13-16 January 2020. Barcelona. PC co-chair.
WRLA 2020 13th International Workshop on Rewriting Logic and its Applications, ETAPS. Dublin, April 2020. PC member.
FSCD 2020 Fifth International Conference on Formal Structures for Computation and Deduction. Paris, June 2020. PC member.
WiL 2020 Women in Logic Workshop. Part of FSCD-IJCAR 2020, Paris, June 2020. Invite Speaker
UNIF 2020 34th International Workshop on Unification. Affiliated with FSCD. PC member.
WPTE 2020 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Affiliated with FSCD. PC member.
ICGT 2020 13th International Conference on Graph Transformation. June 22-26 Bergen, Norway. PC member.
LSFA Workshop on Logical and Semantic Frameworks, with Applications. SC member. LSFA 2020 Salvador, 27-28 August 2020. PC member
AILA 2020 XXV Incontro di Logica (Italian Association for Logic and its Applications), Caserta 2-5 September 2021. Invited Speaker.
Leeds Computability Days June 2021. Invited Speaker.
IFIP Working Group 1.6 on Rewriting. International School on Rewriting 2021.
TERMGRAPH, a bi-anual series of Int. Workshops. SC member.
IFCoLog Advisory Board
EACLS Executive Board
EAPLS Board (General Secretary), EAPLS "Best Dissertation Award" expert committee (co-chair)
Current and former PhD Students:
Washington de Carvalho Segundo,
Jesus Dominguez Alvarez,
Ana Cristina Rocha Oliveira,
Programming Language Design (5CCS2PLD). Book:
Programming Languages and Operational Semantics: A Concise Overview
Computation Models (6CCS3COM). Book: Models of computation - An introduction to computability theory.