Hello! I’m Daniel Dia 👋
Welcome to my personal corner of the web.
I’m a second-year Computer & Communications Engineering (CCE) and Mathematics dual-degree student at the American University of Beirut (AUB).
Broadly speaking, I am interested in algorithmic number theory, applied cryptography, communication systems, systems programming, and formal methods! What is especially fascinating to me is the practical application of theoretical constructions to solving real-world problems that arise in software development, compliance engineering, and cybersecurity.
My technical work includes:
- Contributing to
Mathlib4(the canonical formal mathematics library for Lean4), - Contributing to
hpke-ng(“hpke-ng: Faster, Smaller, Harder HPKE for Rust”) - Designing & delivering the PROOF101 ("Introduction to Formal Verification") course and seminar
- And more!
When I’m not “working”, you can find me studying 20th century history, playing the electric guitar (I really like Gary Moore), reading, and maybe writing poetry.