Poster: Mathematically Proving the Security of the Signal Messaging Protocol
2025
A poster presentation at AUB’s Applied Cryptography course exploring how formal methods and tools like F* are used …
From the Academia Section
Bridging the Gap: Authoring Comprehensive Documentation for the hax Formal Verification Tool
2025
Authored an 8-module technical documentation set for the hax formal verification library to lower its barrier to entry. …
Project Everest: Building a Provably Secure HTTPS Ecosystem with F*
2025
A talk at AUB’s ‘The Key Exchange’ on using formal methods and the F* language to build provably …
Technologies, Skills & Tools
Linux
Python
Pandas
Numpy
PyTorch
OOP
TensorFlow
Rust (w/ Tokio)
SQL
C
C++
Git
GitHub Actions
Jenkins
Bash
F*
Lean4
Embedded Software (ESP32)
hax
Soldering
MATLAB
Compiler Design
Assembly Language
Functional Programming
Theoretical Foundations (& Interests)
Cryptography
Abstract Algebra
Field Theory
Data Structures
Algorithms
Formal Verification
ZK Proofs
Probability
Statistics
Computer architecture
Information Theory
Number Theory
Digital Circuit Design
Mathematical Analysis
Type Theory
Logic
Set Theory
Category Theory
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
PROOF101: Introduction to Formal Verification & Proof Assistants
January 2026
A 10-Week Journey into Formal Verification with Lean4 (Spring 2026).
View ProjectLatest From The Blog
A Systems Programmer's Case for Rust
Sep 27, 2025
A technical deep-dive into Rust’s core design principles, comparing its approach to memory safety, concurrency, …
Read →