Robert Jan van Glabbeek - Curriculum Vitae#
- M.Sc.: Mathematics with specialisation in Geometry (cum laude), University of Leiden, 1984
- Ph.D. Comparative concurrency semantics and refinement of actions, Free University, Amsterdam, 1990
Teaching Experience
- Many courses on on currency theory, and on automata & complexity, from 1988 to 2020
- Guest course on Modelling and Verification of Protocols for Wireless Networks at the University of Twente, 2018
- Author and supervisor of some of the yearly comprehensive and qualifying exams at Stanford University in automata theory, and mathematical foundations of computer science
- Supervision of many interns, and master students
- Served in the reading and oral exam committees of 10 Ph.D. candidates, and a few habilitations
- Joint Ph.D. supervisor of Jens-Wolfhard Schicke at the University of Braunschweig and of Weiyou Wang and Ryan Barry at ANU
Publications:
List of publications
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:
REX 89, 89, CCC 88, 91, CEDESYS 92, CONCUR 92, 99, 18, BANFF 92, AMAST 93, Dagstuhl 94, 96, POMIV 96, LLIC 97, Bertinoro 01, 03, SOS 04, 09, EXPRESS 04, ACP 05, GETCO 05, 18, Geometry of Interaction 06, 14, IFIP 09, OASP 09, WCC 10, TOPDRIM 15, EXPRESS/SOS 17, TASE 18, SOFSEM 24
Committees:
- Starting 91: Member editorial board of Information and Computation
- Starting 04: Member editorial board of Theoretical Computer Science
- Starting 09: Editor in Chief of Electronic Proceedings in Theoretical Computer Science
- Starting 17: Member steering committee MARS
- Organisation of CONCUR 20 & fifteen workshops
- Chair of CONCUR'21 Test-of-Time award committee
- PC member of 40 conferences; chair of SOS 06, 07, MARS 15, 18, CONCUR 19
