CAIA Speaker Event: Clark Barrett (Stanford University)
Here are some details on Caltech AI Alignment's next speaker event:
Who: Clark Barrett (in person), Stanford University
When: May 4th at 2 pm PT
Where: Chen 100
What: Clark Barrett is a Professor of Computer Science at Stanford University, director of the Stanford Center for Automated Reasoning, and co-director of the Stanford Center for AI Safety. His talk will focus on CSLib, a new initiative to build an industrial-strength formal verification platform in Lean for verifying real-world code. He'll walk through an end-to-end example showing how AI-assisted code generation, the Boole language, and Lean automation come together to make formal verification practical.
No specific technical background is required - we welcome all interested students who are eager to learn! As with all CAIA events, we will have pizza and boba!