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.
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
Teaching
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