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
- High-assurance systems programming in
Rust - Mathematical formalization and proof engineering in
Lean4 - 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
hpke-ng(“hpke-ng: Faster, Smaller, Harder HPKE for Rust”), - Contributing to
Mathlib4(the canonical formal mathematics library for Lean4), - Designing & delivering the PROOF101 ("Introduction to Formal Verification") student-led course and seminar,
- Being a member of the Safety-Critical Rust Consortium’s Coding Guidelines Subcommittee,
- And more!
When I’m not working on these kinds of things, you can find me studying 20th century history, playing the electric guitar (I really like Gary Moore), reading, and maybe writing poetry.