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.