Regular biography
Rob van Glabbeek holds the Personal Chair in Computer Science at The University of Edinburgh's Department of Computer Science. His research focuses on theoretical aspects of concurrency and process algebra. He is affiliated with the university through his email address rvangla@ed.ac.uk and maintains a profile page at https://www.ed.ac.uk/Rob_van_Glabbeek.html. His work contributes to the understanding of formal methods in computer science.
Scholar-generated biography
Rob van Glabbeek is a researcher specializing in concurrency theory, process algebra, formal methods, and temporal logic. His work explores the semantics of concurrent systems, including the linear time-branching time spectrum, bisimulation semantics, and refinement of actions. He has contributed to the understanding of reactive, generative, and stratified models of probabilistic processes, as well as Petri net models for concurrency. His research also includes configuration structures, event structures, and proof nets for linear logic. Van Glabbeek's publications address testing preorders, divergence, and the approximation induction principle in process algebra, with applications to wireless mesh networks and workflow systems.