Milner Lectures

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

List of upcoming MIlner lectures

YearSpeakerTitle
2024 TBA                                                                                         TBA

List of past MIlner lectures  

YearSpeakerTitle
2023Peter SewellSneaking up on the Foundations of Computing
2023  Mark JerumThe computational complexity of counting problems: A personal perspective
2023Philippa GardnerVerified Software Specification at Scale
2022Stephanie WeirichWhat are Dependent Types and what are they good for?
2021Prakash Panangaden, McGill  University, MontrealFrom bisimulation to representation learning via metrics
2020Silvio Micali, Massachusetts Institute of TechnologyALGORAND: The Truly Distributed Blockchain
2019Dexter Kozen, Cornell UniversitySoftware-defined networks and the NetKAT family of languages
2018Georg Gottlob, University of OxfordSwift Logic for Big Data and Knowledge Graphs
2017 Luca Cardelli, Microsoft Research, University of Oxford      Telling Molecules What To Do
2015Cynthia Dwork,  Microsoft ResearchPrivacy in the Land of Plenty
2014Wolfgang Thomas, RWTH Aachen UniversityFinite Automata and the Infinite
2013Eva Tardos, Cornell UniversityGames, Auctions, Learning, and the Price of Anarchy
2012Marta Kwiatkowska, University of OxfordSensing Everywhere: on Quantitative Verification for Ubiquitous Computing
2011John Hughes, Chalmers University of TechnologyFinding Race Conditions in Industrial Erlang Code by Property-Based Testing
2010Stephen A. Cook, University of TorontoLogic and Computational Complexity: a Personal Perspective
2009Moshe Vardi, Rice UniversityAnd Logic Begat Computer Science: when Giants roamed the Earth
2008Rajeev Alur, University of PennsylvaniaSoftware Model Checking
2007Ronald Fagin, IBM (Almaden)Finite Model Theory - how it all began
2006Shafi Goldwasser, MIT On the Impossibility of Obfuscation
2005Gérard Huet, INRIADesign of a computational linguistics platform
2004Mihalis Yannakakis, Columbia UniversityTesting, Optimization, and Games
2003Frank Kelly, University of CambridgeFairness of Internet Protocols
2002Martín Abadi, Santa CruzSecurity Protocols: Principles and Calculi
2001Christos Papadimitriou, BerkeleyAlgorithmic Problems Related to the Internet
2000Joseph Halpern, Cornell UniversityKnowledge and Common Knowledge in Multi-Agent Systems
1999Butler Lampson, Microsoft ResearchComputer Security in the Real World
1998Amir Pnueli, Weizmann InstituteTemporal Logic for Verification of Reactive Systems
1997Les Valiant, Harvard University Cognitive Computation
1996Gerard Berry and Sophia-Antipolis, Ecole des MinesSynchronous Programming of Reactive Systems