Professor Glynn Winskel


Computer Laboratory
University of Cambridge
William Gates Building
Cambridge CB3 0FD, UK
JJ Thomson Avenue
Cambridge CB3 0FD, UK
Office: FE23
Tel: +44 1223 334613
Fax: +44 1223 334678
Email: 'Glynn.Winskel' with the suffix 'cl DOT cam DOT ac DOT uk'

Fellow of Emmanuel College.

Formerly, Professor at the Computer Science Department, University of Aarhus and
Director of BRICS (centre for Basic Research in Computer Science). CV, Publications.


PhD Students and former PhD students

Teaching

Lecture notes:

Slides and Notes for A Mathematical Theory of Distributed Games and Strategies, a Part III and MPhil Computer Science course at the University of Cambridge, Feb-Mar 2017. A survey article and a related article on the Locker Puzzle.

Notes for Advanced Topics in Concurrency: Concurrent games a Part III and MPhil Computer Science course at the University of Cambridge, Feb 2014. Slides.

Notes for Topics in Concurrency a Part II Computer Science course at the University of Cambridge.

Notes for Denotational Semantics (pdf, ps) a Part II Computer Science course at the University of Cambridge.

Notes and Exercises for Discrete Mathematics II: Set Theory for Computer Science (pdf ) a Part IA Computer Science course at the University of Cambridge. Copies of transparencies for DMII: Lectures 1, Lectures 2, Lectures 3, Lectures 4, Lectures 5, Lectures 6.

Notes and Exercises for Set Theory for Computer Science (pdf ) an MPhil course in Advanced Computer Science at the University of Cambridge. (The notes overlap but extend those of the Part 1A course)

`Lecture Notes on Category theory' jointly with Mario Caccamo, inspired by Martin Hyland's Part III Mathematics course at the University of Cambridge.

Mini-courses in theory, Former mini-courses.

Material for Fields Institute Summer School, June 2003.

Research grants

Domain Theory for Concurrency---New Categorical Foundations. EPSRC grant (1/7/05 - 31/12/08).

Royal Society Leverhulme Trust Guest Fellowship 2009-2010. To enable two three months visits of Dr Pierre-Louis Curien. Slides of his graduate course: Mini-course on Proof Theory, June 2010.

Royal Society Leverhulme Trust Senior Research Fellowship. Awarded to GW, 1/10/2010-30/9/2011 (concluded 30/4/2011).

Events, Causality and Symmetry---the next generation semantics. Extended Synopsis. Advanced grant from the European Research Council. Awarded to GW, 1/05/2011-30/4/2016.

ecsym-notes: Notes of varying roughness for the ECSYM project

Marc de Visme's ENS Paris report on his Cambridge internship Feb-July 2015: complete version and short version

Publications

    Some from earlier:

    I'd like to dedicate the following three papers on hardware to the memory of Mike Gordon who inspired the work:

    More recent:

    Other papers online

    Partial list of publications from the DBLP Bibliography Server. A more complete list of publications is included in Publications.