Research
Theory of Computing group
Programming languages: Types, Semantics, Security.
Rewrite-based computation models: term and graph rewriting, lambda-calculus, interaction nets.
Publications.
Current and recent research projects:
PORGY - Interactive Analysis and Visualisation of Port Graph Rewriting Systems
Associated team: GRAVITE group (INRIA Bordeaux) and Theory of Computing group (King's College London).
Dependent types for nominal terms, Royal Society International Joint Project (King's College London, University ORT Uruguay)
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. Submissions to the Rewriting Corner are welcome!
LMS Journal of Computation and Mathematics. Papers on models of computation;
proof theory;
type theory;
programming languages;
rewriting and lambda-calculus are welcome!
Events:
PPDP 2010, 12th Int. Symposium on
Principles and Practice of Declarative Programming, Castle Hagenberg, Austria. 26-28 July 2010. PC chair.
UNIF 2010,
24th Int. Workshop on Unification, FLoC 2010, Edinburgh, 14 July 2010. PC Chair.
RTA 2010, 21st Int. Conference on Rewriting Techniques and Applications. Part of FLOC 2010, Edinburgh, 11-13 July 2010. PC member.
DCM,
annual Int. Workshop on Developments in Computational Models - SC member.
DCM 2010 at FLoC - PC member.
RuleML 2009, 3rd International Symposium on Rules, Applications and Interoperability, Las Vegas, Nevada, USA. 5-7 November 2009. PC member. RuleML Challenge - PC member.
Linearity 2009, Coimbra, Portugal, 12 September 2009. PC member.
TAASN 2009, 2nd Int. Workshop on Theory and Applications of Abstraction, Substitution and Naming (ETAPS), York, 22 March 2009. PC co-chair. Special issue JAR: submission deadline 16 November 2009.
TERMGRAPH, a bi-anual series of Int. Workshops on Computing with Terms and Graphs, at ETAPS. SC member.
TERMGRAPH 2009 PC member.
ISR 2009, 4th Int. School on Rewriting, Brasilia, June 2009. Lecturer.
WRS 2009, 9th Int. Workshop on Reduction Strategies in Rewriting
and Programming. PC chair.
IFIP Working Group 1.6 on Term Rewriting.
LICS, IEEE Symposium on Logic in Computer Science. Workshops Co-Chair, Organizing Committee member.
RULE, Int. Workshop on Rule-Based Programming. SC member.
London Theoretical Computer Science Seminars
Current and former PhD Students: Christophe Calvès, Elliot Fairweather, Fabien Fleutot, Lionel Khalil,
Olivier Namet, Nikolaos Siafakas, Francois-Régis Sinot, Matthew Walker.
Teaching
Programming Language Design (CS2PLD). Book: Programming Languages and Operational Semantics
Computational Models (CSMCOM). Book: Models of computation - An introduction to computability theory.
BSc/MSci Project Supervision.
MSc 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) Engineering and Technology.