Inaugural Lecture Showcase - Computer Science 15 10 2025

Inaugural Lecture Showcase: Computer Science
Wednesday 15 October 2025
4:00pm to 5:45pm
Buchanan Lecture Theatre

he following Professors will deliver their inaugural lectures:

Professor Richard Connor:
– ‘Finding New Dogs with Old Tricks'
Professor Juliana Bowles:
– ‘The Temporality of Formal Reasoning: As it was, as it is and as it could be'
Professor Susmit Sarkar:
– ‘Peering Inside the Box: Making Modern Computing Safer with Mathematical Specifications'

https://events.st-andrews.ac.uk/event...