About Me

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). Proud Rustacean!

Broadly speaking, I am interested applying theory for solving real-world problems that arise in software development, formal verification, compliance engineering, and cybersecurity — with a growing focus on fintech infrastructure and privacy-preserving blockchain systems.

In particular, my research interests include:

• Formal verification of cryptographic, distributed, and fault-tolerant protocols.
• High-assurance systems programming in Rust, especially for financial and blockchain infrastructure.
• Mathematical formalization and proof engineering in Lean4.
• Privacy-preserving techniques in blockchain and fintech (e.g. zero-knowledge proofs, confidential transactions, secure multi-party computation).
• Programming-language techniques for security (e.g. dependent types, type-driven design).
• Making formal methods accessible, and improving end-user privacy in financial technologies.

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 PROOF100 ("Foundations of Mathematical Reasoning & Computer Science") and PROOF101 ("Introduction to Formal Verification") student-led courses and seminars,
• Being a member and contributor 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 and Muse), reading, and maybe writing poetry.