Daniel Dia
Computer & Communications Engineering and Mathematics
American University of Beirut
American University of Beirut
About Me
Hello! I'm Daniel Dia, a second-year Computer & Communications Engineering (CCE) and Mathematics dual-degree student at the American University of Beirut (AUB). Proud Rustacean :)
Broadly, I'm interested in applying theory to real-world problems in software development, formal verification, compliance engineering, and cybersecurity — with a growing focus on fintech infrastructure and privacy-preserving blockchain systems.
My work includes contributing to hpke-ng and Mathlib4, designing and teaching PROOF101, and serving on the Safety-Critical Rust Consortium's Coding Guidelines Subcommittee.
Education
American University of BeirutMaroun Semaan Faculty of Engineering and ArchitectureAug 2025 — May 2030
Honors & Awards
- PROOF101 — Honorable Mention, "Impact through Innovation" (AUB Excellence in Student Life)2026
- Dean's Honor List (all semesters)2025 - present
- LIFE Scholar, LIFE Lebanon2025
News
2026
Founded and led the AUB Cryptography Club as President.
Sep 12
Serving as Logistics Moderator for Lebanese Math Day 2026.
Jul 25
Joined the Safety-Critical Rust Consortium's Coding Guidelines Subcommittee.
Jun 4
Selected as Educational Officer on the AUB Math Society Cabinet.
May 23
First Mathlib4 PR merged (#37933): block-diagonal matrices are Hermitian iff each block is.
Apr 11
PROOF101, a 10-week Lean4 course on formal verification, launched at AUB.
Jan 26
2025
Selected as Technical Officer on the GDG on Campus @AUB Software Development team.
Oct 29
Started my undergraduate studies at the American University of Beirut (AUB).
Aug 28
Named a LIFE Scholar by LIFE Lebanon.
Jul 11
Selected Work
Coding Guidelines Subcommittee Member
Safety-Critical Rust Consortium
Jun 2026 — Present
RustSafety-CriticalStandards
PROOF101: Introduction to Formal Verification & Proof Assistants
Jan 2026 — Present
CourseLean4TeachingFormal Verification