PROOF101

Students write proofs that a computer checks line by line. The 2026 run drew 160+ participants from AUB, Brown, BU and Europe, with guest lectures from Dr. Assaf Kfoury (BU) and Dr. Robert Lewis (Brown), and received an Honorable Mention for Impact through Innovation at the Excellence in Student Life awards.

The club contributes a module on verified cryptography: proving that a security protocol does what it claims.