Development of tools for the
specification, analysis and verification of complex systems (e.g. biochemical systems,
programming languages, software applications).
Programming languages: Types, Semantics, Security.
Rewrite-based computation models: term and graph rewriting, lambda-calculus, interaction nets.
Software Modelling and Applied Logic Group
Current and recent research projects:
Dynamic Access Control, funded by EOARD
PORGY - Interactive Analysis and Visualisation of Port Graph Rewriting Systems
Dependent types for nominal terms, Royal Society International Joint Project (with University ORT Uruguay).
A logical framework based on a nominal dependent type system is described here (comments welcome).
Computational Applications of Nominal Sets (CANS) EPSRC.
Implementing Access Control Mechanisms using Rewriting Techniques, EU FP6 (Marie-Curie).
Logic and Computation - Rewriting Corner
LMS Journal of Computation and Mathematics
CiE 2014 Computability in Europe - Language, Life, Limits. Budapest, Hungary, June 23 - 27, 2014. Invited speaker.
CSL-LICS 2014 Joint meeting:
23rd EACSL Annual Conference on Computer Science Logic (CSL) and 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria, 14-18 July 2014. PC member.
Joint 25th International Conference on
Rewriting Techniques and Applications
and 12th International Conference on
Typed Lambda Calculi and Applications, Vienna, 14-17 July 2014. PC member.
ICALP 2014, 41st International Colloquium on Automata, Languages, and Programming, Copenhagen, Denmark, 8-11 July 2014. PC member.
LATIN 2014, Latin American Theoretical INformatics, Montevideo, Uruguay, 31 March-4 April 2014. PC member.
LSFA 2013, 8th Int. Workshop on Logic and Semantic Frameworks with Applications, Sao Paulo, Brazil, September 2013. PC chair.
UNIF, the International Workshop on Unification. SC member (2011-2015).
TERMGRAPH, a bi-anual series of Int. Workshops on Computing with Terms and Graphs, at ETAPS. SC member.
TERMGRAPH 2014 at FLOCS.
IFIP Working Group 1.6 on Term Rewriting.
PPDP - ACM Sigplan International Symposium on Principles and Practice of Declarative Languages. SC member.
LICS, IEEE Symposium on Logic in Computer Science. Organising Committee member.
annual Int. Workshop on Developments in Computational Models - SC member.
IFCoLog Advisory Board
ACM-W: Scholarships Committee
Current and former PhD Students:
Abiar Al-Homaimeedi, Fahad Alarifi, Asad Ali, Christophe Calvès, Jesus Dominguez Alvarez, Elliot Fairweather, Fabien Fleutot, Lionel Khalil,
Olivier Namet, Daniele Nantes, Nikolaos Siafakas, Francois-Régis Sinot, Jeffrey Terrell, Janos Varga, Matthew Walker.
EAPLS PhD Awards
Programming Language Design (5CCS2PLD). Book: Programming Languages and Operational Semantics
Computation Models (6CCS3COM and 7CCSMCOM). Book: Models of computation - An introduction to computability theory.