Milner Lecture: Peter Sewell Milner Lectures The Milner Lecture was endowed by the late and much-missed Robin Milner when he left Edinburgh for Cambridge and is for a public lecture by someone outside Edinburgh who is doing "excellent theoretical work with a perceived application to practice". In this year of celebration, our speakers are asked to set their work in the context of the history of theoretical computer science at Edinburgh. Prof Peter Sewell will give the third and final lecture: Sneaking up on the Foundations of Computing. As part of the celebrations of 60 years of Computer Science and Artificial Intelligence at Edinburgh, the Laboratory for Foundations of Computer Science held a special series of three Milner Lectures given by former members of LFCS. This is a public lecture. Please be seated by 12:10 pm at the latest. A light lunch reception will take place in the Informatics Atrium after the lecture; please indicate any dietary requirements at registration. Title: Sneaking up on the Foundations of Computing Lecture abstract Computer engineering continues to rely on test-and-debug development, with manually curated tests and prose specifications. These have worked well enough for the industry to thrive, but we build and rely on systems that we cannot fully understand with such methods, and pay the consequences in security vulnerabilities. Meanwhile, theory and semantics also thrive in their own way, but usually don't aim to tackle the contingent and fundamental complexities of real architectures and systems software. What do we see when we try to bring these together - what strange kinds of semantic models are needed, what approaches can we follow, what are the possible benefits, and what's needed next? This talk will reflect on several attempts to sneak up on the foundations of mainstream computing, trying to precisely specify some of the key architecture and language abstractions it's built on - both to aid conventional engineering and to enable better methods in future. Speaker's bio Peter Sewell is a Professor of Computer Science at the University of Cambridge. His research aims to build rigorous foundations for the engineering of real-world computer systems to make them better understood, more robust, and more secure. His PhD was with Robin Milner in the 1990s in Edinburgh. Mar 08 2024 12.00 - 14.00 Milner Lecture: Peter Sewell Peter Sewell will deliver a Milner Lecture as part of the University of Edinburgh 60 Years of CS & AI celebrations. G.07, Informatics Forum Book Here
Milner Lecture: Peter Sewell Milner Lectures The Milner Lecture was endowed by the late and much-missed Robin Milner when he left Edinburgh for Cambridge and is for a public lecture by someone outside Edinburgh who is doing "excellent theoretical work with a perceived application to practice". In this year of celebration, our speakers are asked to set their work in the context of the history of theoretical computer science at Edinburgh. Prof Peter Sewell will give the third and final lecture: Sneaking up on the Foundations of Computing. As part of the celebrations of 60 years of Computer Science and Artificial Intelligence at Edinburgh, the Laboratory for Foundations of Computer Science held a special series of three Milner Lectures given by former members of LFCS. This is a public lecture. Please be seated by 12:10 pm at the latest. A light lunch reception will take place in the Informatics Atrium after the lecture; please indicate any dietary requirements at registration. Title: Sneaking up on the Foundations of Computing Lecture abstract Computer engineering continues to rely on test-and-debug development, with manually curated tests and prose specifications. These have worked well enough for the industry to thrive, but we build and rely on systems that we cannot fully understand with such methods, and pay the consequences in security vulnerabilities. Meanwhile, theory and semantics also thrive in their own way, but usually don't aim to tackle the contingent and fundamental complexities of real architectures and systems software. What do we see when we try to bring these together - what strange kinds of semantic models are needed, what approaches can we follow, what are the possible benefits, and what's needed next? This talk will reflect on several attempts to sneak up on the foundations of mainstream computing, trying to precisely specify some of the key architecture and language abstractions it's built on - both to aid conventional engineering and to enable better methods in future. Speaker's bio Peter Sewell is a Professor of Computer Science at the University of Cambridge. His research aims to build rigorous foundations for the engineering of real-world computer systems to make them better understood, more robust, and more secure. His PhD was with Robin Milner in the 1990s in Edinburgh. Mar 08 2024 12.00 - 14.00 Milner Lecture: Peter Sewell Peter Sewell will deliver a Milner Lecture as part of the University of Edinburgh 60 Years of CS & AI celebrations. G.07, Informatics Forum Book Here
Mar 08 2024 12.00 - 14.00 Milner Lecture: Peter Sewell Peter Sewell will deliver a Milner Lecture as part of the University of Edinburgh 60 Years of CS & AI celebrations.
