Dr Rob van Glabbeek

Dr Rob van Glabbeek

Adjunct Professor
Engineering
Computer Science and Engineering

Rob van Glabbeek has a strong international reputation in the study of the theory of concurrent computation, having made particular contributions to the conciliation of the interleaving and the true concurrency communities by codeveloping the current view of branching time and causality as orthogonal but interacting dimensions of concurrency. He condensed many divergent views on semantic equivalences into the linear time- branching time spectrum. The resulting publications are required read...

E-mail
rvg@cs.stanford.edu
Location
Office 3.49 Informatics Forum 10 Crichton Street Edinburgh EH8 9AB United Kingdom

Since 2015 (for life):
Foreign member of the Royal Holland Society of Sciences and Humanities.
2020:
Recipient of the CONCUR test-of-time award.
Since 2023 (for life):
Member of Academia Europaea.
Since 2023:
Fellow of the Asia-Pacific Artificial Intelligence Association.