Contributors to PROOF101

Introduction to Formal Verification & Proof Assistants (PROOF101) is the result of collaborative effort from many dedicated individuals. This page recognizes all who have contributed to making this course possible.

Course Leadership

Main Organizer

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

Faculty Mentors & Advisors

• Dr. Kinan Dak al Bab — Faculty mentor, Boston University

  • Provided essential feedback and guidance throughout course development
  • Coordinated the guest lecturer for Week 8
  • Ongoing support and mentorship

• Dr. Assaf Kfoury — Faculty advisor, Boston University

  • Provided valuable support and feedback
  • Academic guidance and mentorship

Guest Lecturers

• Rida Hamadani (they/them) — Mathematical formalization researcher, former Lean Expert at Harmonic, Graduate student in resurgence theory (LMAP, France) | Website

  • Week 6: “Contributing to Mathlib and Blueprint” — Hands-on session on mathematical formalization workflows
  • Offered to review Mathlib-related and CSlib-related mini-projects from course participants
  • Connected the course to the broader Lean mathematical community

• Dr. Assaf Kfoury — Professor of Computer Science (Boston University)

  • Week 7: “The Mathematical Foundations of Proof Assistants”

• Dr. Rob Lewis — Associate Teaching Professor of Computer Science (Brown University), coordinated by Dr. Kinan Dak al Bab | Website

  • Week 8: “Monads, Tactics, and Applications” — Advanced metaprogramming and decision procedures

Organizational Partners

Google Developer Groups @ AUB

The GDG @ AUB Software Team provided crucial organizational and logistical support, making this course possible as a student-led initiative.

Key Contributors:

• Mohamad Nassif — Organizational support and logistics coordination
• Antonio Makhoul — Organizational support and logistics coordination
• Ahmad Al Rabia — Organizational support and logistics coordination
• The entire GDG @ AUB team — For creating the infrastructure and community that made this course possible

AUB Math Society

The AUB Math Society co-organized this course, providing essential support and helping bridge computer science and mathematics communities.

Key Contributors:

• Georges Sakr — Co-organization and logistics
• Mohammad Shouman — Co-organization and logistics
• Romy Kayrouz — Co-organization and logistics
• The entire AUB Math Society — For creating the infrastructure and community that made this course possible

Design & Visual Materials

• Alina Gurskaya — Graphic designer
  • Created the course logo
  • Helped design visual materials and branding

Course Materials

All course materials, unless explicitly specified (such as in the guest lectures), including slides, assignments, and course documentation, were developed by Daniel Dia with input and feedback from the above contributors.

Community Contributors

We also thank:

• All course participants who provide feedback and help improve the materials
• The Lean community for creating excellent documentation and tutorials
• The Mathlib contributors for building an incredible mathematical library

Contributing to PROOF101

Interested in contributing to PROOF101? We welcome:

• Bug reports and corrections in course materials
• Suggestions for improvements
• Additional examples and exercises
• Translations

Please reach out to Daniel Dia (dmd13@mail.aub.edu) regarding contributing to PROOF101.

License

Introduction to Formal Verification & Proof Assistants (PROOF101) by Daniel Dia and contributors is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International.

This list reflects contributions as of January 2026. If you believe you should be included or would like to update your information, please contact the course organizer.