Robert Jan van Glabbeek#


Robert Jan van Glabbeek
Photo: Christopher Day
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

Imprint Privacy policy « This page (revision-8) was last changed on Wednesday, 24. May 2023, 12:00 by Kaiser Dana
  • operated by