The Milner lectures is a series of lectures by distinguished researchers. List of upcoming MIlner lecturesYearSpeakerTitle2024 TBA TBAList of past MIlner lectures YearSpeakerTitle2023Peter SewellSneaking up on the Foundations of Computing2023 Mark JerumThe computational complexity of counting problems: A personal perspective2023Philippa GardnerVerified Software Specification at Scale2022Stephanie WeirichWhat are Dependent Types and what are they good for?2021Prakash Panangaden, McGill University, MontrealFrom bisimulation to representation learning via metrics2020Silvio Micali, Massachusetts Institute of TechnologyALGORAND: The Truly Distributed Blockchain2019Dexter Kozen, Cornell UniversitySoftware-defined networks and the NetKAT family of languages2018Georg Gottlob, University of OxfordSwift Logic for Big Data and Knowledge Graphs2017 Luca Cardelli, Microsoft Research, University of Oxford Telling Molecules What To Do2015Cynthia Dwork, Microsoft ResearchPrivacy in the Land of Plenty2014Wolfgang Thomas, RWTH Aachen UniversityFinite Automata and the Infinite2013Eva Tardos, Cornell UniversityGames, Auctions, Learning, and the Price of Anarchy2012Marta Kwiatkowska, University of OxfordSensing Everywhere: on Quantitative Verification for Ubiquitous Computing2011John Hughes, Chalmers University of TechnologyFinding Race Conditions in Industrial Erlang Code by Property-Based Testing2010Stephen A. Cook, University of TorontoLogic and Computational Complexity: a Personal Perspective2009Moshe Vardi, Rice UniversityAnd Logic Begat Computer Science: when Giants roamed the Earth2008Rajeev Alur, University of PennsylvaniaSoftware Model Checking2007Ronald Fagin, IBM (Almaden)Finite Model Theory - how it all began2006Shafi Goldwasser, MIT On the Impossibility of Obfuscation2005Gérard Huet, INRIADesign of a computational linguistics platform2004Mihalis Yannakakis, Columbia UniversityTesting, Optimization, and Games2003Frank Kelly, University of CambridgeFairness of Internet Protocols2002Martín Abadi, Santa CruzSecurity Protocols: Principles and Calculi2001Christos Papadimitriou, BerkeleyAlgorithmic Problems Related to the Internet2000Joseph Halpern, Cornell UniversityKnowledge and Common Knowledge in Multi-Agent Systems1999Butler Lampson, Microsoft ResearchComputer Security in the Real World1998Amir Pnueli, Weizmann InstituteTemporal Logic for Verification of Reactive Systems1997Les Valiant, Harvard University Cognitive Computation1996Gerard Berry and Sophia-Antipolis, Ecole des MinesSynchronous Programming of Reactive Systems This article was published on 2024-12-08