Wednesday Seminar 2025/2026

2026-02-11 – A Gentle Introduction to Quantum Computational ElectroMagnetics

Professor Gabriele Gradoni - Institute for Communication Systems, University of Surrey

Duration: 1:00:06, 290 MB/h, 291 MB, download: mp4, talks.cam

2026-02-04 – 15 years of the CHERI Research Project: Reflections, Current Work, and Next Directions

Professor Robert N. M. Watson - Department of Computer Science and Technology, University of Cambridge

Duration: 53:04, 234 MB/h, 207 MB, download: mp4, talks.cam

2026-01-28 – What is HoTT?

Professor Steve Awodey - Departments of Philosophy and Mathematics, Carnegie Mellon University

Duration: 55:22, 290 MB/h, 267 MB, download: mp4, talks.cam

2025-12-05 – Resource estimation and optimization to accelerate progress towards quantum advantage

Dr Prakash Murali - Department of Computer Science and Technology, University of Cambridge

Duration: 51:59, 443 MB/h, 384 MB, download: mp4, talks.cam

2025-11-26 – Physical Inductive Biases for World Models

Dr Ayush Tewari - Department of Engineering, University of Cambridge

Duration: 53:57, 568 MB/h, 511 MB, download: mp4, talks.cam, restricted to users with Raven login

2025-11-19 – AI for Math: The Future of Collaborative Discovery

Professor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge.

Duration: 1:03:15, 583 MB/h, 615 MB, download: mp4, talks.cam

2025-11-12 – From research lab to newsroom: deploying secure whistleblower technology in practice

Dr Daniel Hugenroth and Professor Alastair Beresford - Department of Computer Science and Technology, University of Cambridge

Duration: 56:05, 496 MB/h, 463 MB, download: mp4, talks.cam

2025-10-29 – Standing on the Shoulders of Giants

Dr Greg Lavender - Former CTO of Intel and VMware Trustee, American School of Classical Studies at Athens

Duration: 55:30, 413 MB/h, 382 MB, download: mp4, talks.cam

Total duration: 7:29:18