Name: Professor Kevin Buzzard
Imperial
https://www.imperial.ac.uk/people/k.buzzard

Events this person is speaking at:

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