CAIA Speaker Event: Clark Barrett (Stanford University)

Get ready for an enlightening afternoon with Clark Barrett, a prominent Professor of Computer Science at Stanford University! Join us in Chen 100 to dive into his groundbreaking work in formal verification.

👤 Who: Clark Barrett (in person)

📍 Where: Chen Neuroscience Research Building

🔍 What to Expect:
Clark will present on CSLib, a pioneering initiative aimed at creating a robust formal verification platform in Lean, tailored for verifying real-world code. Experience an engaging demonstration that illustrates how AI-assisted code generation, the Boole language, and Lean automation intertwine to make formal verification accessible and practical.

🌟 Who Should Attend: No prior technical expertise is necessary—everyone eager to learn is welcome!

🍕 Plus, enjoy complimentary pizza and boba during the event!

🎟️ Register Here and secure your spot!