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:
WRLA 2024 15th International Workshop on Rewriting Logic and its Applications, 6-7 April 2024, Luxembourg. PC member.
SACMAT 2024 ACM Symposium on Access Control Models and Technologies, 15-17 May 2024, San Antonio, Texas, USA. PC member.
FLOPS 2024 17th International Symposium on Functional and Logic Programming. Co-sponsored by Special Interest Group on Programming and Programming Languages (SIG-PPL), Japan Society for Software Science and Technology (JSSST). 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
ICGT 2024 17th International Conference on Graph Transformation, 8-12 July 2024, Enschede, Netherlands. PC member.
LOPSTR 2023 and PPDP 2023 joint invited speaker. 33rd International Symposium on
Logic-based Program Synthesis and Transformation and 25th International Symposium on
Principles and Practice of Declarative Programming. Cascais, Portugal, 22-24 October 2023.
FSCD 2023 and CADE-29 joint invited speaker. 8th International Conference on Formal Structures for Computation and Deduction and 29th international Conference on Automated Deduction. Rome, 1-6 July 2023.
SACMAT 2023 ACM Symposium on Access Control Models and Technologies, 7-9 June 2023. Invited speaker.
TERMGRAPH, a bi-anual series of Int. Workshops. SC member.
LOPSTR, Int. Symposium on Logic-based program synthesis and transformation. SC member.
DCM, Int. Workshop on Developments in Computational Models - 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) 2023-2028.
ACM SIGLOG Executive Committee member.
EAPLS Board General Secretary, EAPLS "Best Dissertation Award" expert committee (co-chair)
IFCoLog Advisory Board
Current and former PhD Students:
Abiar Al-Homaimeedi,
Fahad Alarifi,
Asad Ali,
Anna Bamberger,
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,
Nikolaos Siafakas,
Gabriel F. Silva,
Francois-Régis Sinot,
Jeffrey Terrell,
Sebastian Urciuoli,
Janos Varga,
Matthew Walker.
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.