Milner Lectures

The Milner lectures is a series of lectures by distinguished researchers. 

List of upcoming MIlner lectures

Year

Speaker

Title

2024 

TBA                                                                                          TBA

List of past MIlner lectures  

Year

Speaker

Title

2023 Peter Sewell Sneaking up on the Foundations of Computing

2023  

Mark Jerum The computational complexity of counting problems: A personal perspective
2023 Philippa Gardner Verified Software Specification at Scale
2022 Stephanie Weirich What are Dependent Types and what are they good for?

2021

Prakash Panangaden, McGill  University, Montreal From bisimulation to representation learning via metrics
2020 Silvio Micali, Massachusetts Institute of Technology ALGORAND: The Truly Distributed Blockchain
2019 Dexter Kozen, Cornell University Software-defined networks and the NetKAT family of languages
2018 Georg Gottlob, University of Oxford Swift Logic for Big Data and Knowledge Graphs
2017  Luca Cardelli, Microsoft Research, University of Oxford       Telling Molecules What To Do
2015 Cynthia Dwork,  Microsoft Research Privacy in the Land of Plenty
2014 Wolfgang Thomas, RWTH Aachen University

Finite Automata and the Infinite

2013 Eva Tardos, Cornell University Games, Auctions, Learning, and the Price of Anarchy

2012

Marta Kwiatkowska, University of Oxford Sensing Everywhere: on Quantitative Verification for Ubiquitous Computing

2011

John Hughes, Chalmers University of Technology Finding Race Conditions in Industrial Erlang Code by Property-Based Testing

2010

Stephen A. Cook, University of Toronto Logic and Computational Complexity: a Personal Perspective

2009

Moshe Vardi, Rice University

And Logic Begat Computer Science: when Giants roamed the Earth

2008

Rajeev Alur, University of Pennsylvania

Software Model Checking

2007

Ronald Fagin, IBM (Almaden)

Finite Model Theory - how it all began

2006

Shafi Goldwasser, MIT 

On the Impossibility of Obfuscation

2005

Gérard Huet, INRIA

Design of a computational linguistics platform

2004

Mihalis Yannakakis, Columbia University

Testing, Optimization, and Games

2003

Frank Kelly, University of Cambridge

Fairness of Internet Protocols

2002

Martín Abadi, Santa Cruz

Security Protocols: Principles and Calculi

2001

Christos Papadimitriou, Berkeley

Algorithmic Problems Related to the Internet

2000

Joseph Halpern, Cornell University

Knowledge and Common Knowledge in Multi-Agent Systems

1999

Butler Lampson, Microsoft Research

Computer Security in the Real World

1998

Amir Pnueli, Weizmann Institute

Temporal Logic for Verification of Reactive Systems

1997

Les Valiant, Harvard University

 Cognitive Computation

1996

Gerard Berry and Sophia-Antipolis, Ecole des Mines

Synchronous Programming of Reactive Systems