Recent Academic Work
See all →Tech Stack
Tools and languages I work with most often.
- Rust
- C / C++
- Python
- Lean4 (+ Mathlib4)
- TLA+
- Bash
- LaTeX
- MATLAB
- Verilog
- HTML / CSS
- Git / GitHub
- Linux
- ESP32
- ProVerif
- Soldering
Mathematical Interests
Mathematical (or adjacent) areas I study, use, or write about.
- Linear Algebra
- Real Analysis
- Number Theory
- Data Structures & Algorithms
- Programming Language Design
- Abstract Algebra
- Type Theory
- Communication Systems
- Cryptography
- Probability Theory
Experience & Volunteering
See all →Technical Officer — Software Development team
Google Developer Groups on Campus @AUBOct 2025 — PresentSelected as the **Technical Officer** at the Software Development team of the Google Developer Groups Groups (GDG) on Campus @AUB club.
Member of the Events Subcabinet
AUB Math SocietyOct 2025 — PresentSelected as a member of the Events Subcabinet of the AUB Math Society, contributing to planning and running their current and upcoming events.
LIFE Scholar
LIFE LebanonJul 2025 — PresentSelected as a scholar for my CCE degree at AUB, recognized for dedication to academic excellence and alignment with LIFE's mission and values.