Research
My work focuses on the definition of
multi-paradigm computation models and associated programming
languages, and the development of tools for the
specification, analysis and verification of complex systems, such as
biological systems, telecommunications or mobile software
applications.
Main research topics:
Programming languages: Types, Semantics, Security.
Rewrite-based computation models: term and graph rewriting, lambda-calculus, interaction nets.
Software Modelling and Applied Logic Group
Publications
Current and recent research projects:
PORGY - Interactive Analysis and Visualisation of Port Graph Rewriting Systems
INRIA Associated team programme (GRAVITE- INRIA Bordeaux)
Dependent types for nominal terms, Royal Society International Joint Project (King's College London, University ORT Uruguay).
A logical framework based on a nominal dependent type system is described here (comments welcome).
Computational Applications of Nominal Sets (CANS), funded by the EPSRC.
Implementing Access Control Mechanisms using Rewriting Techniques, EU FP6 (Marie-Curie).
Journals:
Logic and Computation - Rewriting Corner
LMS Journal of Computation and Mathematics
ISRN Computational Mathematics
IFCoLog
Events:
LOPSTR 2012, 22nd International Symposium on Logic-Based Program Synthesis and Transformation, Belgium, September 2012. PC member.
WOLLIC 2012, 19th Workshop on Logic, Language, Information and Computation, University of Buenos Aires, Argentina, September, 2012. PC member.
LICS 2012, IEEE Symposium on Logic in Computer Science, Dubrovnic, Croatia, June 2012. PC member.
Lambda 2012, Int. Workshop 75 years of Lambda Calculus, University of St Andrews, UK, 15 June 2012. Associated to TFP 2012 (Int Symposium on Trends in Functional Programming).
FOSSACS 2012, 15th International Conference on Foundations of Software Science and Computation Structures (part of ETAPS), Tallinn, Estonia, March 2012. PC member.
Linearity 2012, 2nd Int. Workshop on Linearity, part of ETAPS, Talinn, Estonia, 1 April 2012. PC member.
IWS 2012, at IJCAR 2012, Manchester, June 2012. PC Co-Chair.
Days in Logic 2012, Evora, Portugal, February 2012. Invited Speaker.
TERMGRAPH, a bi-anual series of Int. Workshops on Computing with Terms and Graphs, at ETAPS. SC member.
TERMGRAPH 2011 at ETAPS, 2nd April 2011. Invited Speaker --- joint with GT-VMT.
UNIF, the International Workshop on Unification. SC member (2011-2015).
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. Workshops Co-Chair, Organising Committee member.
DCM,
annual Int. Workshop on Developments in Computational Models - SC member.
Current and former PhD Students:
Asad Ali, Abiar Al-Homaimeedi, Christophe Calvès, Elliot Fairweather, Fabien Fleutot, Lionel Khalil,
Olivier Namet, Daniele Nantes, Nikolaos Siafakas, Francois-Régis Sinot, Jeffrey Terrell, Matthew Walker.
Teaching
5CCS2PLD: Programming Language Design. Book: Programming Languages and Operational Semantics
6CCS3COM and 7CCSMCOM: Computation Models. Book: Models of computation - An introduction to computability theory.
BSc/MSci Project Supervision.
Administration
Senior Tutor (Undergraduate Programmes), Student-Staff Liaison Committee chair.
Member of the Dept. Research, Teaching, and Systems committees.
Member of the College Subject Area Board (SAB) Natural and Mathematical Sciences.