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

mån 4 maj

23:00 – 00:00

Chen Neuroscience Research Building Gratis · Se hemsida

Hitta liknande event

Om evenemanget

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!

Hittad av Somo·Se original

Är detta ditt event?Ta över →

Plats

Chen Neuroscience Research Building

Vägbeskrivning

Detaljer

Datum

mån 4 maj

Tid