Rob van Glabbeek
Personal Chair in Computer Science
Member of Laboratory for Foundations of Computer Science
Deputy Director of Graduate School
Honours project supervision of Standard allocation
MSc Dissertation project supervision of Standard allocation
Tutor of Standard allocation
Research Interests
Concurrency theory. 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.
Email Address
+44 (0) 131 6515627
Publications - Edinburgh Research Explorer
Personal Page

Home : People 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh