Development of rewrite-based 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:
Nominal Techniques, with University of Brasilia.
Axiomatic modelling of obligations for privacy enforcement, with University of Porto, funded by 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 - CSL 2020
LMCS Special Issue - RTA/TLCA 2015
CODASPY 2021 The 11th ACM Conference on Data and Application Security and Privacy. April 2021. PC member.
SACMAT 2021 ACM Symposium on Access Control Models and Technologies, June 2021. PC member.
WiL 2021 Women in Logic Workshop. Affiliated with LICS 2021, Rome, June 2021. PC member.
Leeds Computability Days June 2022. Invited Speaker.
CODASPY 2022 The 12th ACM Conference on Data and Application Security and Privacy. April 2022. PC co-chair.
FoSSaCS 2022 25th International Conference on Foundations of Software Science and Computation Structures. PC member.
IFIP Working Group 1.6 on Rewriting. International School on Rewriting 2021.
TERMGRAPH, a bi-anual series of Int. Workshops. SC member.
REF 2021 Panel Member
EACLS Executive Board
EAPLS Board (General Secretary), EAPLS "Best Dissertation Award" expert committee (co-chair)
IFCoLog Advisory Board
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.