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 speaking, I am interested in solving real-world problems that arise in computer architecture, formal verification, compliance engineering, and cybersecurity — with a growing focus on side-channel attacks (and more general forms of information leakage), as well as multiparty computation.

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.