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 'AT 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, Two-page CV.


PhD Students and former PhD students

Teaching

Lecture notes:

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.

Publications

    Earlier:

    Recent:

    Other papers online

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