MSR Workshop on Voting Technology – Session 2

March 19, 2010
Ben Adida | Harvard University

11:30 – 12:30 Ben Adida, Harvard Medical School
Introduction to verifiable election technologies

- Jeff Running

Watch Next

Dion2: A new simple method to shrink matrix in Muon
March 3, 2026
Anson Ho,

Kwangjun Ahn
ARO: A new lens on matrix optimization for LLMs
March 3, 2026
Anson Ho,

Wenbo Gong,

Chao Ma
Lessons from deploying HealthBots with experts-in-the-loop
March 3, 2026
Anson Ho,

Mohit Jain
Teaching small language models to think like optimization experts with OptiMind
March 3, 2026
Anson Ho,

Xinzhi Zhang
Agent Lightning: One learning system that makes all agents evolve
March 3, 2026
Anson Ho,

Luna K. Qiu
Magentic Marketplace: Testing societies of agents at scale
March 3, 2026
Gagan Bansal,

Anson Ho
Beyond Swahili: Designing Inclusive AI for Bantu Languages
February 17, 2026
Alfred Malengo Kondoro
Bridging Neurotechnology with Immersive Systems: Getting BCIs outside of the lab?
February 12, 2026
Hakim Si-Mohammed
Hardware Realization and Implementation Security Evaluation of HQC, A NIST PQC Standard
January 29, 2026
Sanjay Deshpande
GeoMind: A Multi-Agent Framework for Geospatial Decision Support
January 28, 2026
Muhammad Sohail Danish