Milner Lectures

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

List of upcoming MIlner lectures

Year	Speaker	Title
2023	Peter Sewell	TBA

List of past MIlner lectures

Year	Speaker	Title
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

This article was published on 12 Oct, 2023