Rob van Glabbeek

Principal Researcher at NICTA, Sydney, Australia.
Conjoint 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:
NICTA
Locked Bag 6016
The University of New South Wales
Sydney, NSW 1466
Australia
Office:
Room 410, Level 4, NICTA, 223 Anzac Parade, Kensington, Sydney, NSW 2052, Australia
Fax: +61.2.8306 0405
Telephone: +61.2.8306 0492
Home address
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 website at NICTA.

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


Student supervision possibilities

Interested is doing a PhD/Master's/Bachelor's/Honour's thesis with me? Check out the topics listed for me at UNSW and for my group at NICTA. I'm willing to supervise good students on any topic that suits both the student and me.

Research

  • Publications.
  • Ph.D. Thesis. (Introduction and table of contents; list of main results).
  • Research by topic:

  • Teaching

  • Modelling Concurrent Systems, COMP6752, Autumn 2014 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.
  • 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
  • COMP4141 on the Theory of Computation, Autumn 2013 at the University of New South Wales.

  • Useful links


    Useless links


    -----BEGIN GEEK CODE BLOCK-----
    Version 3.12
    GCS !d@ s++:-- a? C+ SL P++ L++ E+ W++ N o? K? w-- O? M- V? 
    PS+++ PE++ Y+ PGP->+ t+ 5? X? R tv-- b+ DI D- G e++++ h-- r++ z+>++
    ------END GEEK CODE BLOCK------
    -----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