A day of talks in celebration of Peter O’Hearn’s scientific and industrial work. Peter is a professor of Computer Science at University College London and an Engineering Director at Lacework. All are welcome, please register to the workshop if you are planning to attend.
Confirmed speakers:
- Byron Cook, Amazon and UCL
- Cristiano Calcagno
- Derek Dreyer, MPI-SWS
- Dino Distefano, WhatsApp and QMUL
- Hongseok Yang, KAIST
- Jade Alglave, Arm and UCL
- James Brotherston, UCL
- Julien Vanegue, Bloomberg & Imperial College London
- Mark Harman, Meta and UCL
- Matthew Parkinson, Azure Research, Microsoft
- Nick Benton, Meta
- Patrice Godefroid, Lacework
- Patrick Cousot, NYU
- Philippa Gardner, Imperial College London
- Steve Brookes, CMU