The War on Error: Failure, Fun, and the Future
This panel of researchers from Microsoft Research Cambridge discusses the field of software verification, looking back at its history, the latest successes and what challenges the future holds.
Watch Next
-
Beyond Swahili: Designing Inclusive AI for Bantu Languages
- Alfred Malengo Kondoro
-
-
Efficient Homomorphic Integer Computer from CKKS
- Jaehyung Kim
-
GeoMind: A Multi-Agent Framework for Geospatial Decision Support
- Muhammad Sohail Danish
-
Fuzzy Extractors are Practical
- Melissa Chase,
- Amey Shukla
-
-
-
-
From Microfarms to the Moon: A Teen Innovator’s Journey in Robotics
- Pranav Kumar Redlapalli
-
