Provably Secure: Math Against Superintelligent Hackers
Register with organizerWhat to look forward to
MIT’s Social and Ethical Responsibilities of Computing will convene experts to examine whether formal verification can help contain AI agents and uncover security flaws in critical software. The panel will be moderated by Adam Chlipala, MIT’s Arthur J. Conner (1888) Professor of Computer Science, with Byron Cook of AWS, Noah Evans of Draper, and MIT Distinguished Professor Armando Solar-Lezama.
Inside the event
Worry is growing around AI agents escaping containment and acting against the interests of the organizations that built them. The latest LLMs are also finding cybersecurity vulnerabilities in important software at an alarming pace. Against this backdrop, join the Social and Ethical Responsibilities of Computing on November 17 for a panel discussion exploring whether mathematical proofs could work to thwart superintelligent cyberattackers. Bringing together experts from academia, government, and industry, the conversation will survey an old computer-science technique with new promise: formal verification, mathematical proof about the behavior of programs. Can such proofs be applied to important computing infrastructure, to guarantee agent containment and find all security bugs of certain kinds, future-proofing against more-powerful LLMs? The panel will be moderated by Adam Chlipala, Arthur J. Conner (1888) Professor of Computer Science at MIT, and will feature Byron Cook, vice president and distinguished scientist at Amazon Web Services; Noah Evans, principal member of technical staff at Draper; and Armando Solar-Lezama, Distinguished Professor of Computing at MIT.
Meet in Cambridge, MA
City view. The source has not supplied a venue; check the organizer for the exact location.
Open in Google Maps ↗Discovered through Cerebral Valley. Details come from the event listing; registration is managed by the organizer.
Last checked: Nov 5, 2026. Confirm current availability before making plans.