MA, ScD, MSc (Oxon), PhD (Edin)
Professor of Computer Science
Glynn Winskel was a Professor in the University of Cambridge Computer Laboratory from October 2000, retiring from his Fellowship in June 2020. He is currently teaching at Strathclyde University.
His research has been in the foundations of computer science, especially in mathematical semantics and logics of computation. His research is often guided by a fundamental belief in the usefulness of mathematical models and logic to help understand, structure and analyse computation, from the sequential execution of a single program to the interaction within distributed systems. Glynn Winskel read mathematics at Emmanuel (matric. 1972) and mathematical logic at St. Catherine's College, Oxford before turning to computer science in his Ph.D. work at the University of Edinburgh. He was awarded a Sc.D. by Cambridge University in 1995. For the third year of his Ph.D. he was employed as a research associate on a grant of Robin Milner and Gordon Plotkin. For a period he was a Royal Society Postdoctoral Fellow, and then a Research Scientist at the Computer Science Department of Carnegie Mellon University in the USA. From 1984 he was Lecturer then Reader in the University of Cambridge Computer Laboratory, and fellow of King's College, leaving in 1988 to become Professor at Aarhus University in Denmark. There he was founding director of BRICS, a research centre for Basic Research in Computer Science, within which a Ph.D. school was started in 1997 (see www.brics.dk ). Now back in Cambridge, Glynn Winskel is keen to foster cooperation between BRICS and the Computer Laboratory. He is married to Kirsten and they have two daughters. In his spare time he draws and paints, runs and swims, though all less than he likes to think, and enjoys visiting the Cambridge Buddhist Centre: www.cambridgebuddhistcentre.com.