Milner Lecture: Peter Sewell

Univ. of Edinburgh, School of Informatics, 60 Years Organising Committee

Peter Sewell will deliver a Milner Lecture as part of the University of Edinburgh 60 Years of Computer Science & AI celebrations.

University of Edinburgh, School of Informatics

<h3>Sneaking up on the Foundations of Computing</h3>As part of the celebrations of 60 years of Computer Science and Artificial Intelligence at Edinburgh, the Laboratory for Foundations of Computer Science is holding a special series of three Milner Lectures given by former members of LFCS.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.The third and final lecture will be given by Prof Peter Sewell on December 7th, in Informatics Forum G.07.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.Zoom<a href="https://ed-ac-uk.zoom.us/j/86922053525" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">https://ed-ac-uk.zoom.us/j/86922053525</a>Meeting ID: 869 2205 3525Passcode: n512GuFP <h4>Abstract</h4>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. <h4>Bio</h4>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. <h4>More on 60 Years of Computer Science and AI</h4>For a current view of the 60 Years celebration events programme, please <a href="https://www.ed.ac.uk/informatics/60-years-of-computer-science-and-ai/60-years-of-computer-science-and-ai-events/60-years-of-computer-science-and-ai-calendar." target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">visit the event calendar</a>

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Milner Lecture: Peter Sewell

More events from Univ. of Edinburgh, School of Informatics, 60 Years Organising Committee

Discover more events from Univ. of Edinburgh, School of Informatics, 60 Years Organising Committee, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all events in Newington and filter by date, category, and more to find the perfect fit.

Milner Lecture: Peter Sewell

More events from Univ. of Edinburgh, School of Informatics, 60 Years Organising Committee

Discover more events from Univ. of Edinburgh, School of Informatics, 60 Years Organising Committee, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in Newington and filter by date, category, and more to find the perfect fit.