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
- Cryptography
- Number Theory
- PL Design
- Data Structures & Algorithms
- Real Analysis
- Abstract Algebra
- RF Engineering
- Type Theory
- Comms Systems
- Probability