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.

Honours

Since 2015 (for life):

Foreign member of the Royal Holland Society of Sciences and Humanities.

2020:

Recipient of the CONCUR test-of-time award.

Since 2023 (for life):

Member of Academia Europaea.

Since 2023:

Fellow of the Asia-Pacific Artificial Intelligence Association.

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.

June 2004 - June 2016

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/Adjunct Professor at the University of New South Wales, Sydney, Australia.

July 2016 - October 2021:

Chief Research Scientist at Data61, CSIRO, Sydney, Australia.

August 2022 - present:

Royal Society Wolfson Fellow and Professor at the University of Edinburgh.

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, 2007, 2010 and 2012:

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

Autumn semester 2013:

COMP 4141 on the Theory of Computation at the University of New South Wales.

Autumn semester 2014, 2016 and 2018, and winter trimester 2020:

COMP 6752 on Modelling Concurrent Systems at the University of New South Wales.

Summer 2018:

Modelling and Verification of Protocols for Wireless Networks at the University of Twente.

Fall semester 2023 and 2024:

Discrete mathematics at the University of Edinburgh.

Fall semester 2023 and 2024:

Modelling Concurrent Systems at the University of Edinburgh.

Supervision

Fall semester 1989:

Supervision of Leon Kuurman 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 - 2009:

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

2005:

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

2005 - 2009:

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

2008 - 2009:

Joint supervision of the master thesis project of Jens-Wolfhard Schicke from the University of Braunschweig, visiting NICTA. Master Thesis: Synchrony and Asynchrony in Petri Nets.

2009 - 2018:

Joint supervision of the Ph.D. study of Jens-Wolfhard Schicke at the University of Braunschweig.

2012 - 2013:

Co-supervision of the master thesis project of Christopher Lippert at the University of Braunschweig. Master Thesis: Verschiedene Prozesskalküle und ihre relative Ausdrucksmächtigkeit.

2014:

Supervision of internship at NICTA of Emile Bres from École Polytechnique.

2015:

Supervision of DAAD internship at NICTA of Katja Möring from U. Hamburg.

2016:

Reviewer of the habilitation thesis of Emmanual Haucourt, École Polytechnique.

2017:

Supervision of internship at Data61 of Victor Dyseryn from École Polytechnique.

2017:

Served as PhD examiner of Christian Eisentraut at the U. of Saarland.

2017:

Served as PhD examiner of Jérémy Dubut at École Normale Supérieure Paris-Sacley at Cachan.

2017:

Reviewer of the PhD thesis of Valentina Castiglioni, University of Insubria.

2017:

Reviewer of the bachelor thesis of Nick Fischer, University of Saarland.

2017 - 2018:

Co-supervision of the master thesis project of Djurre van der Wal, University of Twente.

2018:

Joint supervision of the internships of Filippo De Bortoli (European Master's Program in Computational Logic), Anran Wang (DAAD, from U. Hamburg), Michael Markl (DAAD, from Augsburg), and Ryan Barry (UNSW).

2019:

Joint supervision of the master thesis project of Anran Wang, visiting Data61 from U. Hamburg.

2019:

Joint supervision of the honours thesis of Ryan Barry, at UNSW.

2020-present:

Joint supervision of the PhD project of Weiyou Wang, at ANU.

2021-2022:

Joint supervision of the honours thesis of Tina Ji, at ANU.

2022-present:

Joint supervision of the PhD project of Ryan Barry, at ANU.

2022:

Examiner of the habilitation thesis of Uli Fahrenberg at the Université Paris-Saclay.

2023-2024:

Supervision of honours project of Fiona Hamlin (University of Edinburgh).

2023-2024:

Supervision of the internships of Gaspard Reghem (ENS Paris-Saclay) and Andrea Exposito (University of Urbino).

2023-present:

Co-supervision of the PhD project of Rayhana Amjad, at U. Edinburgh.

2024:

Co-supervision of visiting PhD student Yu Wang (Nanjing University of Aeronautics and Astronautics, China).

2024:

Supervision of master student Marcel Wrzos-Kaminski (EPCC, Edinburgh).

2024-present:

Supervision of honours projects of Christopher Dalziel and Leon Lee, at U. Edinburgh

2024-present:

Supervision of 2nd years project of Arin Mukhopadhyay, at U. Edinburgh.

2024-present:

Supervision of the PhD project of Alessandro Scala, at U. Edinburgh.

Publications:

http://theory.stanford.edu/~rvg/papers.html

References in bibtex format, dvi, postscript and pdf.

Patents:

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

Document controlled workflow systems and methods.

US7356611 (2008) 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.

August 2009:

Structural Operational Semantics, SOS '09, Bologna, Italy

September 2009:

IFIP WG 1.8 - 2.2 workshop on behavioural varieties in concurrency, at CONCUR 2009, Bologna, Italy.

August 2010:

2nd Conference on Open Access Scholarly Publishing, Prague, Czech Republic

September 2010:

World Computer Congress, Brisbane, Australia.

June 2011:

Synchrony and Asynchrony in Distributed Systems, Berlin, Germany

June 2011:

Programming and Reactive Systems, Drübeck, Germany

January 2014:

Directed Algebraic Topology and Concurrency, Lyon, France

February 2014:

Concurrency, Logic and Types, Lyon, France

July 2015:

TOPDRIM International School on Understanding Complexity and Concurrency through Topology of Data, Camerino, Italy.

July 2015:

Topology driven methods for complex systems, Camerino, Italy.

November 2016:

Fall Days on Communication, Safety and Privacy in IoT, Hoog Soeren, The Netherlands.

January 2017:

Festschrift symposium for Bill Roscoe, Oxford, UK.

September 2017:

Invited tutorial at EXPRESS/SOS'17, Berlin, Germany.

September 2018:

TASE'18: International Symposium on Theoretical Aspects of Software Engineering, Guangzhou, China.

September 2018:

CONCUR'18: 29th International Conference on Concurrency Theory, Huairou district of Beijing, China.

September 2018:

Geometric and Topological Methods in Computer Science, GETCO '18, Oaxaca, Mexico.

January 2024:

Workshop on Foundations of Computation in Sheffield, UK

February 2024:

SOFSEM'24: Current Trends in Theory and Practice of Computer Science, Cochem, Germany.

June 2024:

Petri Nets 2024, Geneva, Switzerland.

July 2024:

Workshop on Foundations of Security and Concurrency, Oslo, Norway.

Committees:

Starting May 1991:

Member editorial board of Information and Computation.

Starting May 2004:

Member editorial board of Theoretical Computer Science.

Starting May 2009:

Editor in Chief of Electronic Proceedings in Theoretical Computer Science.

Starting March 2017:

Member steering committee MARS workshops (Models for Formal Analysis of Real Systems).

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.

November 2009:

(with Ursula Goltz, Bas Luttik and Uwe Nestmann) Organizer of the IFIP WG 1.8 workshop Formal Methods for Embedded Systems, Eindhoven, The Netherlands.

June 2011 - July 2012:

(with Peter Höfner) Editor of a special issue of Formal Aspects of Computing, Celebrating the 60th Birthday of Carroll Morgan.

July 2012:

(with Peter Höfner) Organised a seminar day Celebrating the 60th Birthday of Carroll Morgan.

August 2013:

(with U. Goltz and E.-R. Olderog) Organizer of the workshop 25 Years of Combining Compositionality and Concurrency, Königswinter, Germany.

November 2013 - May 2015

(with U. Goltz and E.-R. Olderog) Editor of a special issue of Acta Informatica on 25 Years of Combining Compositionality and Concurrency.

November 2015:

(with J.F. Groote and P. Höfner) Organizer and PC chair of the first workshop on Models for Formal Analysis of Real Systems (MARS 2015), Suva, Fiji.

April 2018:

(with W. Serwe) Organizer and PC chair of the third workshop on Models for Formal Analysis of Real Systems (MARS 2018), Thessaloniki, Greece.

January - July 2021:

Chair of the CONCUR'21 Test-of-Time award committee.

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.

CONCUR 09.

ICALP 10.

IFIP-TCS 10.

LICS 11.

EXPRESS 11.

CATS 12.

LICS 12.

CONCUR 12.

LATA 13.

CONCUR 13.

LATA 14.

ATVA 14.

LICS 15.

MARS 15 (Co-chair, together with J.F. Groote and P. Höfner).

CONCUR 16.

LATA 17.

CONCUR 17.

MARS 18 (Co-chair, together with W. Serwe).

TASE 18.

LATA 19.

TASE 19.

CONCUR 19 (Co-chair, together with Wan Fokkink).

LICS 20.

MARS 20.

TASE 20.

CONCUR 20.

EXPRESS/SOS 20.

FOSSACS 21.

FORTE 21.

CALCO 21.

TASE 21.

CONCUR 22.

TASE 22.

FTSCS 22.

ICALP 23.

TASE 23.

FORTE 23.

FACS 23.

LICS 24.

RaPS 24.

CSL 25.

ICALP 25.

CONCUR 25.

FOSSACS 26.