Degrees

Doctoraalexamen ("M.S.")

Mathematics with specialisation in Geometry (cum laude), University of Leiden, The Netherlands, November 1984.

Ph.D.

Comparative concurrency semantics and refinement of actions, Free University, Amsterdam, The Netherlands, May 16, 1990.

Jobs

September 1981 - November 1984:

Teaching Assistant at the University of Leiden, The Netherlands.

December 1984 - November 1989:

Research Scientist at the Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands.

February 1990 - August 1990:

Research Scientist at the Technical University of Munich, Germany.

September 1990 - August 1991:

Acting Assistant Professor at Stanford University, USA.

September 16 - November 15, 1991:

Visiting Scientist at the Gesellschaft für Mathematik und Datenverarbeitung (GMD), Sankt Augustin, Germany.

September 1991 - August 2002:

Research Associate at Stanford University, USA.

August 2000 - October 2002:

Consultant for Ricoh Innovations, Menlo Park, California, USA.

September 2002 - present:

Research Affiliate at the Concurrency Group, Stanford University, USA (not a paid position).

November 2002 - December 2002:

Research Scientist at the Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands.

January 2003:

Consultant for Ricoh Innovations, Menlo Park, California, USA.

February, 2003 - May, 2003:

Associate Professor for NICTA at the University of New South Wales, Sydney, Australia.

June 2003 - August 2003:

Visiting Fellow at INRIA, France.

September 2003 - March 2004:

Visiting Research Fellow at the University of Edinburgh.

April 2004 - May 2004:

Visiting Research Fellow at the University of Cambridge.

Continuing position, from June 2004:

Principal Researcher at NICTA, Sydney, Australia.

June 2004 - December 2007:

Conjoint Associate Professor at the University of New South Wales, Sydney, Australia.

February 2006:

Visiting Professor at the Université de la Méditerranée, Marseilles, France.

January 2008 - present:

Conjoint Professor at the University of New South Wales, Sydney, Australia.

Teaching Experience

Spring semester 1988:

Course on Comparative Concurrency Semantics at the University of Amsterdam.

Fall quarter 1990, and spring '93, '95 and '97:

CS 352 on Foundations of Control Structures at Stanford University.

Winter '91, '96, '01 and spring '02:

CS 154 on Automata and Complexity Theory at Stanford University.
The spring '02 edition was also a SCPD television course.

Spring quarter 1991:

CS 353 on Algebra for Computer Scientists at Stanford University.

Autumn semester 2003, 2005 and 2007:

COMP 4151/3152/9152 on Comparative Concurrency Semantics at the University of New South Wales.

Supervision

Fall semester 1989:

Supervision of a student writing a master thesis on The jungle of process semantics at the University of Amsterdam.

Spring - Summer 2002:

Supervision of the senior project of Nafis Upshur at Stanford University, with thesis on Circuit definable operators on event oriented models of concurrency.

1991 - 2002:

Author and supervisor of some of the yearly comprehensive and qualifying exams at Stanford University in automata theory, and mathematical foundations of computer science.

2003/2004:

External reviewer of the PhD thesis of Antti Puhakka.

1993 - 2005:

Served in the reading and oral exam committees of 5 Ph.D. candidates:
Arend Rensink, Vineet Gupta, Luca d'Alfaro, Tomás Uribe and Harm van Beek.

2005:

Co-supervision of internship project of Ibrahim Bokharouss at the University of New South Wales.

2005-2008:

Co-supervision of two PhD candidates at UNSW: Pemadeep Ramsokul and Timothy Bourke.

2008:

Supervision of a master student from the University of Braunschweig, visiting NICTA: Jens-Wolfhard Schicke.

Publications:

http://theory.stanford.edu/~rvg/papers.html (up to date).

References in bibtex format, dvi, postscript and pdf (last updated June 2004).

Patents:

US7120699 (2006) Filed September 20, 2001 (together with D.G. Stork):

Document controlled workflow systems and methods.

Filed January 18, 2002 (together with D.G. Stork and S. Savitzky):

Method and apparatus for permissions based active document workflow.

Invited speaker at workshops and symposia:

November 1986

Meeting of the Werkgemeenschap Theoretische

Informatica, Utrecht, The Netherlands.

March 1988

Workshop on Combining Compositionality and Concurrency, Königswinter, Germany.

June 1989

REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness, Mook, The Netherlands.

September 1989

REX seminar: Towards a general theory of structured operational semantics, Amsterdam, The Netherlands.

April 1990

Spring school Semantique du Parallelisme, La Roche-Posay, France.

March 1991

3rd Workshop on Concurrency and Compositionality, Goslar, Germany.

June 1991

International Symposium on Theoretical Computer Science in honor of Boris. A. Trakhtenbrot, Tel Aviv, Israel.

September 1991

CEDISYS workshop on concurrency, Sophia Antipolis, France.

August 1992

CONCUR 92: Third International Conference on Concurrency Theory, Stony Brook, New York, USA.

September 1992

The VIth BANFF Higher Order Workshop: Advanced tutorial on process algebras, Banff, Canada.

June 1993

AMAST 93: Third International Conference on Algebraic Methodology And Software Technology, University of Twente, The Netherlands.

May 1994

ACP94: Workshop on Algebra of Communicating Processes, University of Utrecht, The Netherlands.

September 1994

Dagstuhl seminar on formal specification, Dagstuhl, Germany.

October 1994

Annual Meeting of the Italian Chapter of the EATCS, Bologna, Italy.

May 1996

Seminar on Semantics of Concurrent Systems - Foundations and Applications, Dagstuhl, Germany.

July 1996

POMIV 96: Workshop on the theory and practice of partial order methods in verification, Princeton, NY, USA.

September 1996

Seminar on Expressiveness in Concurrency, Dagstuhl, Germany.

February 1997

Final meeting of the German national research foundation's research program Distributed Information Systems in Business, Berlin, Germany.

August 1997

Tutorial day on Logic, Language, Information and Computation, Fortaleza, Brazil.

August 1997

4th Workshop on Logic, Language, Information and Computation (WoLLIC'97), Fortaleza, Brazil.

February 1998

Information systems as reactive systems, Dagstuhl, Germany.

August 1999

CONCUR 99: Tenth International Conference on Concurrency Theory, Eindhoven, The Netherlands.

July 2001:

Teaching a course at the summer school on Process algebra in Bertinoro, Italy.

June 2003:

Workshop on Mobility/Concurrency in Ottawa, Canada.

July 2003:

Workshop on Process Algebra: Open Problems and Future Directions, Bertinoro, Italy.

August 2004:

Structural Operational Semantics 2004, London, UK.

August 2004:

11th International Workshop in Expressiveness in Concurrency, EXPRESS 2004, London, UK.

December 2004:

Logic Summer School in Canberra, Australia.

August 2005:

Algebraic Process Calculi: The First Twenty Five Years and Beyond, PA '05, Bertinoro, Italy, August 2005.

August 2005:

Geometry and Topology in Concurrency, GETCO '05, San Francisco, USA.

February 2006:

Higher dimensional rewriting, concurrency and directed homotopy, Marseilles, France.

February 2006:

Geometry of Interaction, Marseilles, France.

Committees:

Starting May 1991:

Member editorial board of Information and Computation.

Starting May 2004:

Member editorial board of Theoretical Computer Science.

March 1988:

(with U. Goltz and E.-R. Olderog) Organizer of the GMD-Workshop on Combining Compositionality and Concurrency, Königswinter, Germany.

May 1996:

(with Johan van Benthem and Henriette de Swart) Organizer Fifth CSLI Workshop on Logic, Language, and Computation, Stanford University, USA.

March 2002:

(with Hans-Dieter Ehrich and Ursula Goltz) Organizer of the Dagstuhl workshop Concurrency and Dynamic Behaviour Modelling: Pragmatics & Semantics, Germany.

May 2002:

Member organisation committee 1st North American Summer School in Logic, Language, and Information with the 11th workshop on Logic, Language, and Computation, Stanford University, USA.

January 2005 - October 2006:

(with Wil van der Aalst, Keith Harrison-Broninski, Robin Milner and Roger Whitehead) Founder and organiser of the Process Modelling Group, a think thank seeking to bring together industry and academia in an effort to influence models, standards, and tools for business process modelling.

August 2006:

(with Gerwin Klein, Ralf Huuck and Belinda Selig) Organiser of SV06: International Workshop on System Verification, NICTA, Sydney, Australia.

August 2006:

(with Peter Mosses) Organizer of Structural Operational Semantics 2006, SOS 06, Bonn, Germany.

December 2006 - May 2008:

(with Peter Mosses) Editor of a special issue of Information and Computation on Structural Operational Semantics.

July 2007:

(with Matthew Hennessy) Organizer of Structural Operational Semantics 2007, SOS 07, Wroclaw, Poland.

Programme Committees:

CONCUR 91.

LICS 92.

NAPAW 93.

TACS 94.

CONCUR 94.

STRICT 95.

ACP 95.

CONCUR 95.

1997-2001: Sixth, Seventh, Eight, Ninth and Tenth CSLI Workshops on Logic, Language, and Computation.

CONCUR 98.

PAPM 98.

WoLLIC 99.

LICS 99.

EXPRESS 99.

AMAST 00.

EXPRESS 00.

CONCUR 02.

ICALP 03.

SOS 04.

FINCO 05.

SOS 05.

ASWEC 06.

SOS 06 (Co-chair, together with Peter Mosses).

CONCUR 06.

WS-FM 06.

FOSSACS 07.

ASWEC 07.

ICALP 07.

FInCo 07.

SOS 07 (Co-chair, together with Matthew Hennessy).

WS-FM 07.

SYANCO 07.

CONCUR 08.