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:
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
Journal of Automated Reasoning Special Issue on Linearity
LMCS Special Issue - RTA/TLCA 2015
Linearity & TLLA 2018 Joint International Workshop: Linearity & Trends in Linear Logic and Applications. Affiliated with FSCD at FLoC. Oxford, 7-8 July 2018. PC co-chair.
Thirty-Fourth Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
24–27 June 2019, Vancouver. PC member
FSCD 2019 Fourth International Conference on Formal Structures for Computation and Deduction. Dortmund, 24-30 June 2019. PC member.
UNIF 2019 33rd International Workshop on Unification. Affiliated with FSCD. PC member.
WPTE 2019 6th International Workshop on Rewriting Techniques for
Program Transformations and Evaluation. Affiliated with FSCD.
ICGT 2019 12th International Conference on Graph Transformation. 15-16 July 2019. Eindhoven. PC member.
LSFA 2019 14th Workshop on Logical and Semantic Frameworks, with Applications. Affiliated with CADE. August 2019, Natal. PC member.
HOTSOS 2019 Symposium and Bootcamp on the Science of Security - Hot Topics in the Science of Security (HotSoS). 2-3 April 2019, Nashville, USA. PC member.
BigDataSecurity 2019 5th IEEE International Conference on Big Data Security and Privacy (BigDataSecurity 2019), 19-21 May 2019, Washington DC. PC member.
CSL 2020 28th EACSL Annual Conference on Computer Science Logic. 13-16 January 2020. Barcelona. PC co-chair.
FSCD 2020 5th Int Conference on Formal Structures for Computation and Deduction. July 2020, Paris. PC member.
IFIP Working Group 1.6 on Rewriting.
TERMGRAPH, a bi-anual series of Int. Workshops. SC member.
IFCoLog Advisory Board
EAPLS PhD Awards
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