Research
Topics:
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/specification languages: Types, Semantics.
Rewrite-based computation models: term and graph rewriting, lambda-calculus, interaction nets.
Security and Privacy: Access control, cloud-IoT architectures, privacy policies.
Publications
Current and recent projects:
Nominal Verification Environments, Royal Society International Exchanges (King's College London and University of Illinois Urbana-Champaign).
Nominal Techniques and Rewriting Logic. Funded by Leverhulme (Visiting Professor José Meseguer), May 2022 - July 2023.
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).
Journals:
Logical Methods in Computer Science. Executive Board member.
Logic and Computation - Rewriting Corner
Communications of ACM - Research Highlights (SIGLOG committee).
Journal of Financial Transformation, Capco. Advisory Board member.
Events:
FSCD 2025 10th International Conference on Formal Structures for Computation and Deduction, 14-20 July 2025, Birmingham, UK. PC Chair.
CODASPY 2025 15th International Conference on Data and Application Security and Privacy. 4-6 June 2025, Pittsburgh, USA. PC member.
WRLA 2024 15th International Workshop on Rewriting Logic and its Applications, 6-7 April 2024, Luxembourg. PC member.
FLOPS 2024 17th International Symposium on Functional and Logic Programming. 15-17 May 2024, Kumamoto, Japan. PC member.
LOPSTR 2024 34th International Symposium on
Logic-based Program Synthesis and Transformation, 7-9 September 2024, Milan. PC member
LSFA 2024 Workshop on Logical and Semantic Frameworks with Applications, 18-20 September 2024, Goiainia, Brazil. Invited Speaker.
ICGT 2024 17th International Conference on Graph Transformation, 8-12 July 2024, Enschede, Netherlands. PC member.
IFIP Working Group 1.6 on Rewriting.
TERMGRAPH, a bi-anual series of Int. Workshops. SC member.
Service:
REF 2021 Panel
President of EACLS (European Association for Computer Science Logic), Chair of the Ackermann Award Panel (EACSL Outstanding Dissertation Award for Logic in Computer Science)
ACM SIGLOG Executive Committee member.
EAPLS Board General Secretary.
IFCoLog Advisory Board
Current and former PhD Students:
Abiar Al-Homaimeedi,
Fahad Alarifi,
Asad Ali,
Anna Bamberger,
Ali Khan Caires,
Christophe Calvès,
Washington de Carvalho Segundo,
Jesus Dominguez Alvarez,
Nneka Ene,
Elliot Fairweather,
Fabien Fleutot,
Jenjira Jaimunk,
Lionel Khalil,
Chris Munhuweyi,
Olivier Namet,
Daniele Nantes,
Ana Cristina Rocha Oliveira,
Daniella Santaguida,
Nikolaos Siafakas,
Gabriel F. Silva,
Francois-Régis Sinot,
Jeffrey Terrell,
Janos Varga
Teaching
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.