Projects
My academic work, including talks, publications, conferences, and open-source contributions.
2026
Mathlib4 Open-Source Contributions
Apr 2026 — Present
Lean4Mathlib4Formal VerificationProof AssistantsFunctional Programming
PROOF101: Introduction to Formal Verification & Proof Assistants
Jan 2026 — Present
CourseLean4TeachingFormal Verification
2025
Undergraduate Coursework at AUB
Aug 2025 — Present
All undergraduate coursework I completed as a student at AUB.
AUBMathematicsEngineeringUndergraduate