Milner Lectures

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

List of past MIlner lectures  

 

Year

Speaker

Title

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 George 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 Quantutative 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 Verificaiton of Reactive Systems

1997

Les Valiant, Harvard University

 Cognitive Computation

1996

Gerard Berry and Sophia-Antipolis, Ecole des Mines, INRIA

Synchronous Programming of Reactive Systems