Daniel Dia
Computer & Communications Engineering & Mathematics student @AUB | Cryptography Enthusiast
From the Academia Section
Project Everest: Building a Provably Secure HTTPS Ecosystem with F*
October 20, 2025
A talk at AUB’s ‘The Key Exchange’ on using formal methods and the F* language to build provably secure cryptographic software, …
Read more → External LinkTechnologies, Skills & Tools
Linux
Python
Pandas
Numpy
PyTorch
OOP
TensorFlow
Rust (w/ Tokio)
SQL
C/C++
Git
GitHub Actions
Jenkins
Bash
F*
Lean4
Embedded Programming (ESP32)
hax
Soldering
Theoretical Foundations (& Interests)
Cryptography
Abstract Algebra
Field Theory
Data Structures & Algorithms
Formal Verification
Zero-Knowledge (ZK) Proofs
Probability Theory
Computer architecture
Information Theory
Digital Circuit Design
Mathematical Analysis
Recent Experience
Technical Officer — Software Development team - Google Developer Groups on Campus @AUB
Oct 2025 — Present
Selected as the Technical Officer at the Software Development team of the Google Developer Groups Groups (GDG) on Campus @AUB club.
View all experiences...Projects
DynamiXplore: A High-Performance Framework for Dynamical Systems
A Python-first toolkit with a high-performance Rust core for the advanced simulation and analysis of complex dynamical systems, including nonsmooth and chaotic phenomena.
Latest From The Blog
A Systems Programmer's Case for Rust
Published on: September 27, 2025
A technical deep-dive into Rust’s core design principles, comparing its approach to memory safety, concurrency, and tooling against C++, Java, …
Read more →