Rob van Glabbeek

Royal Society Wolfson Fellow at the School of Informatics, University of Edinburgh, Scotland.
Adjunct Professor at the School of Computer Science and Engineering, The University of New South Wales, Sydney 2052, Australia.
Research Affiliate, Concurrency Group, Theory Division, Computer Science Department, Stanford University.

Email (forever): rvg@cs.stanford.edu
Address:
Office 3.49
Informatics Forum
10 Crichton Street
Edinburgh
EH8 9AB
United Kingdom
Office hours: Wednesdays 14:30 – 15:30. However, you can try any other time as well; I'm often around.

Main Research Interest: Comparative Concurrency Semantics. Mathematical models and formal languages for the representation of distributed systems and the verification of statements about them; in particular foundational work investigating the possibilities of such models and languages.

A biography of me can be found on my websites at the University of Edinburgh and UNSW.

Brief CV.
The third millennium started on January 1 of the year 2001. Blue Ribbon
  Campaign icon


Student supervision possibilities

Interested in doing a PhD/Master's/Bachelor's/Honour's thesis with me? I'm willing to supervise good students on any topic that suits both the student and me. The list below should give an inkling of my research interests.

Research

  • Publications.
  • Ph.D. Thesis. (Introduction and table of contents; list of main results).
  • Research by topic:
  • Edited volumes: [8, vii, 39, 68, 72, 76, 96, 105, 108, 113, 131, 140, 150, 158].

  • Teaching

  • Discrete mathematics, Fall 2023 at the University of Edinburgh.
  • Modelling Concurrent Systems, Fall 2023 at the University of Edinburgh.
  • Modelling Concurrent Systems, COMP6752, Autumn 2014, 2016, 2018 and 2020 at the University of New South Wales.
  • Comparative Concurrency Semantics, COMP4151/3152/9152, Autumn 2003, 2005, 2007, 2010 & 2012 at the University of New South Wales, and Spring 1988 at the University of Amsterdam.
  • COMP4141 on the Theory of Computation, Autumn 2013 at the University of New South Wales.
  • CS 154, Introduction to Automata and Complexity Theory, Winter 1991, 1996, 2001, and Spring 2002 at Stanford University
  • CS 352, Foundations of Control Structures, Fall 1990 and Spring 1993, 1995 and 1997 at Stanford University
  • CS 353, Algebra for computer scientists, Spring 1991 at Stanford University

  • Useful links


    Useless links


    -----BEGIN PGP PUBLIC KEY BLOCK-----
    Version: PGP 6.5.8
    
    mQGiBDu1fvcRBADIX5B/L3Ak6YOSG+mLGI8lC9szJ+AGatigXwyYyO2ocZec3/Fa
    J83qU4ld+UuHa3tg9pX724PMABTIOBDviRhwQLvBimaanaQVAEDGVG7TpRqJq7C3
    JZzV7Km3uaJKe8ODrMX1MEE8G4xE3mb4g8qjA3mLvnLqbN33ghzWUHsMNwCg/1DJ
    hdzO/nZm7NpVtMopVw9eZXcD/3XXUEmbrCUEgshiesfUfspF4NdsopRQ/su/NSOv
    ZIu3v6iOOuEGnw2sbbYp2Xppj5+bb4YVRlPc6Yb6UMwWmmouT1YT2KWwOGh8JPmT
    ikiUkkQpZ1pTK2+F8gc5EeOAftbENFTE/SCYvJJK9gIk+pjZeXs2KAxunK/d7uqr
    +EUHBAC0vBSqJCe9lkwG+BmRoQThLt24BC4LZSB8Ql6gOLo5UhO4NN6Wg/j/tQbu
    zWUfB3G8lflyrlyvzwhi0j/5gkW5LO8HDvthombfp1Dn5Vb05KThqqe9d/q4r/kh
    yoUrjQ1p3Ue9kKd4QQXIVhXVfyYLS25OwISuVa3KizzX1pzC77QmUm9iIHZhbiBH
    bGFiYmVlayA8cnZnQGNzLnN0YW5mb3JkLmVkdT6JAE4EEBECAA4FAju1fvcECwMB
    AgIZAQAKCRA5wCTOal2Ogt4oAKCARrGE4D579CHfc11eZmaxcLcMMQCfftxyZq4x
    entfE+etUFHL9HE/LbO5AQ0EO7V/ExAEAOsqqTG4VmYbI/YmOei9/z5RREzH9WY0
    3zzs0x95j9biTde11yRep0gU2zEo/46wkmmSMUPOHfkd0bmJt2TpQvc7Y5Frq0EJ
    IP47vpzEy4ENhvIJRKr5qAFrOGLVxI39hsGMd2z+pzYvOLn95I7i2rf6rvCkYPXv
    TqGlX0/AgbV1AAICBADmfZkLYN/thGrc5pOaEuhLxD2Qd7nPsAyIHI97DN5K3dQR
    uJtgB1jl/v8Yxq6laknz/pr5mewCVscmaDPVTe4yCv3QzZK+waISaFBP+i5QIQmU
    gCI3JzekFqEHuSuVyZT+b2tAgVoOvcp2FEmf8i54Cmz6PDSDVFDcN+xTUfONPokA
    RgQYEQIABgUCO7V/EwAKCRA5wCTOal2OgjhvAKDKUnx7f3YCQPRxSmFFf90k1qD3
    bwCfdHGu+0N3mRSgRIOSjjF6izSdwLc=
    =e70b
    -----END PGP PUBLIC KEY BLOCK-----
    

    Rob van Glabbeek

    rvg@CS.Stanford.EDU