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 |