Robert Jan van Glabbeek

Robert Jan van Glabbeek is a Professor at the University of Edinburgh, Royal Society Wolfson Fellow since 2022, and holds unpaid adjunct/research affiliations at Stanford University (since 2002) and the University of New South Wales (since 2004). Previously, he served as Chief Research Scientist at CSIRO (2016-2021) and Principal Researcher at NICTA (2004-2016).

His research spans concurrency theory, formal methods, and verification of distributed systems. He pioneered branching bisimulation and contributed to unifying semantic equivalences in process algebra. His work bridges process algebra with Petri nets, advances probabilistic process verification, and addresses fairness assumptions in distributed systems.

Key publications include foundational papers on branching time semantics, probabilistic processes, and AODV routing protocol verification. His work underpins formal verification tools like mCRL2 and CADP, influencing both theoretical concurrency and practical protocol analysis.

• Foreign Member of the Royal Holland Society of Sciences and Humanities
• CONCUR test-of-time award
• Royal Society Wolfson Fellowship