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. In particular, my research interests include:
- Formal verification of cryptographic, distributed, and fault-tolerant protocols
- Mathematical formalization and proof engineering (
Lean4) - High-assurance systems programming in
Rust - Algorithmic number theory and its applications to cryptography
- Programming-language techniques for security (e.g. dependent types, type-driven design)
- Making formal methods accessible, and improving end-user privacy
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”), - Trying to contribute to
TACO(model checking safety properties in threshold-based fault-tolerant distributed protocols), - Designing & delivering the PROOF101 ("Introduction to Formal Verification") student-led 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.