Research
Programming languages: Types, Semantics, Security.
Rewrite-based computation models: term and graph rewriting, lambda-calculus, interaction nets.
Theory of Computing group
Publications. Two recent papers:
M.Fernández and M.J. Gabbay.
Closed nominal rewriting and efficiently computable nominal algebra equality, pdf
M.Fernández and A. Rubio.
Reduction Orderings and Completion for Rewrite Systems with Binding, pdf
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:
UG Research Conference, King's College London, 24-26 March 2010.
PPDP 2010, 12th Int. ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming, 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. FLoC 2010, Edinburgh, 11-13 July 2010. PC member.
HOR 2010,
5th Int. Workshop on Higher Order Rewriting, FLoC 2010, Edinburgh, 14 July 2010. Invited Speaker.
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.
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
CS2PLD: Programming Language Design. Book: Programming Languages and Operational Semantics
CSMCOM: Computational Models. 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.