Week 11: Project Showcase, Competition, and Course Wrap-up

Overview

Celebrate your achievements! Every project gets a 3-5 minute demo, we award “Best Project,” discuss contributing to Mathlib, and present all Certificates of Distinction. This is just the beginning of your formal verification journey!

Lecturer

• Daniel Dia — Course creator, primary instructor & organizer (American University of Beirut); Computer & Communications Engineering (CCE) and Mathematics dual-degree student (AUB).

Session Information

• Date and Time:
• Place:
• Online Meeting Link
• Session Recording

Session Structure

• 3-5 minute demos from all projects
• “Best Project” award
• Discussion on contributing to Mathlib or CSlib
• Certificate of Distinction ceremony

Slides

For complete project requirements, guidelines, and examples, see the Final Projects page.

Navigation

• ← Previous Week: Lean, Rust, and the Future of Reliable Software
• Back to Course Overview

Questions? Reach out on the course Zulip!