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 This article was published on 2024-12-08
