Programming/specification languages: Types, Semantics.
Development of rewrite-based tools for the
specification, analysis and verification of complex systems (e.g., biochemical systems, financial systems, programming languages, software applications).
Rewrite-based computation models: term and graph rewriting, lambda-calculus, interaction nets.
Security and Privacy: Access control, cloud-IoT architectures, privacy policies.
Current and recent projects:
Nominal Verification Environments, Royal Society International Exchanges (King's College London and University of Illinois Urbana-Champaign).
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).
Logical Methods in Computer Science. Executive Board member.
Logic and Computation - Rewriting Corner
Discover Internet-of-Things. Springer Nature. Editorial Board member.
ICGT 2023 16th International Conference on Graph Transformation. July 17-21 2023, Leicester, UK. PC co-chair.
Thirty-Eigth Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
26–27 June 2023, Boston. PC member
CODASPY 2023 The 13th ACM Conference on Data and Application Security and Privacy. 24-26 April 2023, Charlotte, US. PC co-chair.
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.
REF 2021 Panel Member
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.
EAPLS Board Member (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,
Gabriel F. Silva,
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.