Tech Stack
Tools and languages I work with most often.
- Rust
- C
- C++
- Python
- Lean4 (+ Mathlib4)
- TLA+
- Bash
- LaTeX
- MATLAB
- Verilog
- HTML / CSS
- Git
- CI/CD (DevOps)
- Linux
Mathematical Interests
Mathematical (or adjacent) areas I study, use, or write about.
- Linear Algebra
- Cryptography
- Model Checking
- PL Design
- Data Structures & Algorithms
- Real Analysis
- Abstract Algebra
- Type Theory