Glynn Winskel

Glynn Winskel is a Professor of Computer Science at the University of Cambridge and a Fellow of Emmanuel College, Cambridge. He has held significant academic roles, including founding director of the BRICS research center at Aarhus University (1994–2000) and Reader in Theoretical Computer Science at Cambridge (1987).

He earned a B.A. and M.A. in Mathematics from the University of Cambridge (1975), an M.Sc. in Mathematical Logic from the University of Oxford (1976), and a Ph.D. in Computer Science from the University of Edinburgh (1980). He was awarded an Sc.D. by the University of Cambridge in 1995.

Winskel's research spans theoretical computer science, with a focus on logic, category theory, and their applications to semantics of programming languages, domain theory, concurrent computation, and computer security. His work has influenced foundational models like event structures and proof systems for concurrency.

His scientific awards include:

• Fellow of the Royal Society (2024)
• ERC Advanced Grant ECSYM (2011)
• Royal Society Leverhulme Trust Senior Research Fellowship (2010–2011)
• British Computer Society Brendan Murphy Memorial Prize (2001)
• Funding for BRICS research center (Denmark, 1994–2000)

Winskel has supervised 19 PhD students and contributed to education through courses on denotational semantics and concurrency. He has led major EU research projects like CEDISYS, CLICS, and APPSEM, and organized academic events such as CONCUR'97 and LICS'97.