Robert Jan van Glabbeek#
Membership Number: | 6446 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2023 |
Main Country of Residence: | UNITED KINGDOM |
Homepage(s): | http://theory.stanford.edu/~rvg/ |
ORCID: | 0000-0003-4712-7423 |
Present and Previous Positions
- 2022 - present Royal Society Wolfson Fellow (professor), University of Edinburgh
- 2016 - 2021 Chief Research Scientist, Data 61, CSIRO, Australia
- 2004 - 2016 Principal Researcher, NICTA, Sydney, Australia
- 2004 - present Adjunct Professor (unpaid), University of New South Wales, Sydney, Australia
- 2002 - present Research Affiliate (unpaid), Stanford University
- 2003 - 2004 Visiting research fellow, University of Edinburgh
- 1991 - 2002 Research Associate, Stanford University
- 1990 - 1991 Acting Assistant Professor, Stanford University
- 1984 - 1989 Research Scientist, CWI, Amsterdam
Fields of Scholarship
- Concurrency theory
- Formal methods
- Verification of distributed systems
- Temporal Logic
Honours and Awards
- 2015 Foreign Member of the Royal Holland Society of Sciences and Humanities
- 2020 CONCUR test-of-time award
- 2022 Royal Society Wolfson Fellowship