Department of Computer Science
University of Oxford
United Kingdom Research topics: Operational semantics of process algebras and programming languages, Coalgebraic and bialgebraic methods, Algebraic specifications
(updated at 2010-01-01)
https://www.cs.ox.ac.uk/people/bartek.klin/main.html