Membership in Steering Committees
- ICGT - International Conference on Graph Transformation (since October 2002)
- TERMGRAPH - International Workshop on Computing with Terms and Graphs (since September 2005)
Membership in Program Committees
-
WebS 2012 - Eleventh International Workshop on Web Semantics and Information Processing, Vienna (Austria), September 3-7, 2012
-
WebS 2011 - Tenth International Workshop on Web Semantics, Toulouse (France), August 29 - September 2, 2011
-
TERMGRAPH 2011 - Sixth International Workshop on Computing with Terms and Graphs, Saarbrücken (Germany), April 2, 2011
-
ICGT 2010 - Fifth International Conference on Graph Transformation, Enschede (The Netherlands), September 27 - October 2, 2010
-
GCM 2010 - Third International Workshop on Graph Computation Models, Enschede (The Netherlands), October 2, 2010
-
WebS 2010 - Ninth International Workshop on Web Semantics, Bilbao (Spain), August 30 - September 3, 2010
-
URC* 2010 - Undergraduate Research in Computer Science (Student Conference), King's College London, March 24-26, 2010
-
WebS 2009 - Eigth International Workshop on Web Semantics, Linz (Austria), August 31 - September 4, 2009
-
TERMGRAPH 2009 - Fifth International Workshop on Computing with Terms and Graphs, York (United Kingdom), March 22-29, 2009
-
ICGT 2008 - Fourth International Conference on Graph Transformation; Leicester (United Kingdom), September 7-13, 2008
-
GCM 2008 - Second International Workshop on Graph Computation Models, Leicester (United Kingdom), September 9, 2008
-
WebS 2008 - Seventh International Workshop on Web Semantics, Turin (Italy), September 1-5, 2008
-
AGTIVE 2007 - Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance, Kassel (Germany), October 10-12, 2007
-
GT-VC 2007 - Third International Workshop on Graph Transformation for Verification and Concurrency, Lisbon (Portugal), September 3, 2007
-
WebS 2007 - Sixth International Workshop on Web Semantics, Regensburg (Germany), September 3-7, 2007
-
TERMGRAPH 2007 - Fourth
International Workshop on Computing with Terms and Graphs, Braga (Portugal),
March 31, 2007 [PC co-chair]
-
ICGT 2006 -
Third International Conference on Graph Transformation, Natal (Brazil),
September 17-21, 2006
-
GCM 2006 -
First International Workshop on Graph Computation Models, Natal (Brazil), September 18, 2006
-
WebS 2006 - Fifth International Workshop on Web Semantics, Krakow (Poland), September 4-8, 2006
-
TERMGRAPH 2006 - Third International Workshop on Term Graph Rewriting, Vienna (Austria), April 1, 2006
-
WebS 2005 - Fifth International Workshop on Web Semantics, Copenhagen (Denmark), August 22-26, 2005
-
ICGT 2004 -
Second International Conference on Graph Transformation; Rome (Italy), September 27 - October 2, 2004
-
TERMGRAPH 2004 - Second International Workshop on Term Graph Rewriting, Rome (Italy), October 2, 2004
- WebS 2004 - Third International Workshop on Web Semantics, Zaragoza (Spain), August 30 - September 3, 2004
-
WebS 2003 - Second International Workshop on Web Semantics, Prague (Czech Republic), September 1-5, 2003
-
ICGT 2002 - First International Conference on Graph Transformation, Barcelona (Spain), October 7-12, 2002
-
TERMGRAPH 2002 - First International Workshop on Term Graph Rewriting, Barcelona (Spain), October 7, 2002 [PC chair]
-
Workshop on Knowledge Transformation for the Semantic Web, Lyon (France), July 23, 2002
-
AGT 2002 -
APPLIGRAPH Workshop on Applied Graph Transformation, Grenoble (France),
April 13, 2002
-
GRATRA 2000 - Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Berlin (Germany), March 25-27, 2000
Research Students
PhD Examination
- Olivier Namet: Strategic Modelling with Graph Rewriting Tools
PhD thesis, King's College London, 2012
- Adwoa Dansoa Donyina: Stochastic Modelling and Analysis of Dynamic Human-Resource Allocation (StADy)
PhD thesis, University of Leicester, 2011
-
Neil Mitchell: Transformation and Analysis of Functional Programs
PhD thesis, The University of York, 2008
-
Adam Bakewell: An Operational Theory of Relative Space Efficiency
PhD thesis, The University of York, 2002
- Stefan Blom: Term Graph Rewriting - Syntax and
Semantics
PhD thesis, Vrije Universiteit Amsterdam, 2001
Grants
-
Departmental grant for a two-month internship of an Indian undergraduate student (Anuja Ranjan, IIT Kanpur) from May 2011 to July 2011
-
Departmental grant for a two-month internship of an Indian undergraduate student (Ambuj Singh, IIT Kanpur) from May 2010 to July 2010
-
Departmental grant for a two-month internship of an Indian graduate student (Robin Suri, IIT Roorkee) from May 2009 to July 2009
-
Joint project with Ecole Polytechnique (Paris),
Compiler Technology for Parallel Graph Rewriting,
partially funded by the British Council from January 2003 to December 2004
-
Principal Investigator of the project
Safe Pointers by
Graph Transformation, funded by EPSRC
(The Engineering and Physical Sciences Research Council) with a postdoctoral
position from January 2002 to March 2003
-
Fellowship of the DFG (Deutsche
Forschungsgemeinschaft) for a stay at the University of Nijmegen (The
Netherlands), from May 1998 to August 1998
-
Fellowship of the European HCM network EXPRESS (Expressiveness in Concurrency)
for a stay in Amsterdam (The Netherlands), from April 1997 to November 1997
-
Coauthor of a grant proposal for the project Dschungelersetzung
(second phase), funded by the DFG with a research associate position from
November 1993 to October 1995
-
Author of a grant proposal for the project Dschungelersetzung,
funded by the DFG with a research associate position from April 1991 to March
1993
Refereeing
-
Project referee for the Engineering and Physical Sciences Research Council (EPSRC), the Royal Society, the British Council, the French National Research Agency (ANR), and the Netherlands Organisation for Scientific Research (NWO).
-
Referee for journals:
Information and Computation; Journal of Computer and System Sciences; Theoretical Computer Science; Mathematical Structures in Computer Science; Acta Informatica; Formal Aspects of Computing; Fundamenta Informaticae; Information Processing Letters; Journal of Logic and Algebraic Programming; Applicable Algebra in Engineering, Communication and Computing; Software and Systems Modeling
-
Referee for conferences and workshops:
Annual IEEE Symposium on Logic in Computer Science (LICS); International Colloquium on Automata, Languages and Programming (ICALP); European Symposium on Programming (ESOP); International Conference on Foundations of Software Science and Computation Structures (FOSSACS); International Symposium on Mathematical Foundations of Computer Science (MFCS); Colloquium on Trees in Algebra and Programming (CAAP); Symposium on Theoretical Aspects of Computer Science (STACS); International Conference on Rewriting Techniques and Applications (RTA); International Conference on Graph Transformation (ICGT); International Static Analysis Symposium (SAS); Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS); International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM); International Symposium on Principles and Practice of Declarative Programming (PPDP); International Conference on Concurrency Theory (CONCUR); International Symposium on Functional and Logic Programming (FLOPS); International Workshop and Symposium on Applications of Graph Transformation With Industrial Relevance (AGTIVE); International Workshop on Algebraic and Logic Programming (ALP); Workshop on Algebraic Development Techniques (WADT); International Workshop on Computing with Terms and Graphs (TERMGRAPH); International Workshop on Rule-Based Programming (RULE); Workshop on Graph Transformation for Verification and Concurrency (GT-VC); International Workshop on Web Semantics (WebS)
-
Paper reviewer for Computing Reviews (ACM) and Mathematical Reviews
(AMS)
Project Management
-
April 1997 to April 2002: Manager of the ESPRIT Working Group
APPLIGRAPH (Applications of Graph Transformation) comprising 8 partner
universities from 4 European countries
-
March 1989 to February 1992: Manager of the ESPRIT Basic Research Working
Group COMPASS (A Comprehensive Algebraic Approach to
System Specification and Development) comprising 12 partner universities from
6 European countries
Participation in Projects
-
Compiler Technology for Parallel Graph Rewriting,
joint project with Ecole Polytechnique (Paris),
partially funded by the British Council from January 2003 to December 2004
-
Safe Pointers by Graph Transformation, funded by
EPSRC (The Engineering and Physical
Sciences Research Council) from January 2002 to March 2003
-
APPLIGRAPH (Applications of Graph Transformation), ESPRIT Working Group
within the programme RTD in Information Technologies, funded by the
European Union from April 1997 to April 2002
-
GETGRATS (General
Theory of Graph Transformation Systems), TMR Research Network, funded by the
European Union from September 1996 to August 2001
-
Dschungelersetzung [jungle rewriting], funded by
the DFG (Deutsche Forschungsgemeinschaft) from April 1991 to October 1995
-
COMPUGRAPH I & II (Computing by Graph
Transformation), ESPRIT Basic Research Working Groups, funded by the European
Community from March 1989 to February 1992 and from October 1992 to March 1996
-
COMPASS I & II (A Comprehensive Algebraic Approach to System
Specification and Development), ESPRIT Basic Research Working Groups, funded
by the European Community from March 1989 to February 1992 and from October
1992 to March 1996
-
PROSPECTRA (Program Development by Specification and Transformation),
ESPRIT project, funded by the European Community from 1985 to 1990
Workshop Organization
-
Organizer of TERMGRAPH 2002, International Workshop on Term Graph Rewriting, Barcelona
(Spain), October 7, 2002
-
Coorganizer of the first
APPLIGRAPH Workshop, Etelsen (Germany), June 25-27, 1997
-
Organizer of the first COMPASS Workshop, Bremen (Germany),
October 2-6, 1989