• Sign in
  • Sign up
conf.researchr.org / Kevin Buzzard
  • Dutch Formal Methods Day 2024 profile
  • POPL 2020 profile
  • POPL 2022 profile
Kevin Buzzard

Not registered as user

Name:Kevin Buzzard
Affiliation:Imperial College London

Contributions

2024

Dutch Formal Methods Day

  • Author of Why formalise mathematics? within the Dutch Formal Methods Day 2024-track

2022

POPL

  • Panelist of Panel 1: proof assistants for PL and math within the Virtual Workshop-track

2020

CPP

  • Author of Formalising perfectoid spaces within the CPP 2020-track
Share
xFri 23 May 04:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up