Education

CAIA Speaker Event: Clark Barrett (Stanford University)

Name: CAIA Speaker Event: Clark Barrett (Stanford University)
Start: 2026-05-04T21:00:00+00:00
End: 2026-05-04T22:00:00+00:00
Location: Chen Neuroscience Research Building

lun. 4 mai

23:00 – 00:00

Chen Neuroscience Research Building Gratuit · Voir le site

Voir des événements similaires

À propos de l'événement

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!

Trouvé par Somo·Voir l'original

C'est votre événement ?Le revendiquer →

Lieu

Chen Neuroscience Research Building

Itinéraire

Détails

Date

lun. 4 mai

Heure