The Strachey Lectures in Computer Science

The Strachey Lectures are a series of termly computer science lectures named after Christopher Strachey, the first Professor of Computation at the University of Oxford.

In 1965, Christopher Strachey became the first leader of the Programming Research Group (PRG) at the Oxford University Computing Laboratory (which later became the Department of Computer Science). He was the first Professor of Computation at Oxford, succeeded by Sir Tony Hoare in 1977 after his untimely death. With Dana Scott he founded the field of denotational semantics, providing a firm mathematical foundation for programming languages.

The Strachey lectures began in 1995 and have included many distinguished speakers and experts over the years, discussing topics of computer science. The Strachey Lectures are generously supported by OxFORD Asset Management.
Type: Seminar Series
Web Address: https://www.cs.ox.ac.uk/seminars/strachey/
Organising department: Department of Computer Science

Talks:

Tuesday 6 May 2025

The Lean Theorem Prover/Will computers prove theorems?
Date: 6 May 2025, 14:30 - 16:30
Speaker s: Professor Leo De Moura (AWS), Professor Kevin Buzzard (Imperial)
Venue: Mathematical Institute, Woodstock Road OX2 6GG
Venue Details: Lecture Theatre 1
Organisers: TBA
Hosts: TBA

Editor: Ella Bedrock