Proficiencies
Mathematical Statistics via Econometrics @ The University of Oxford.
Programming Languages: Rust, TypeScript, Python. Proficient.
Visual Design, Figma, Typography. Proficient.
LaTeX, Typst, HTML + CSS. Proficient.
Embedded Systems: STM32, NXP’s JCOP3 Series.
Limited Emerging Skills: OpenSCAD, Haskell, Lean4 (Theorem Prover).
Interests
Formal Semantics.
Type Systems.
Proficiencies
Mathematical Statistics via Econometrics @ The University of Oxford.
Programming Languages: Rust, TypeScript, Python. Proficient.
Visual Design, Figma, Typography. Proficient.
LaTeX, Typst, HTML + CSS. Proficient.
Embedded Systems: STM32, NXP’s JCOP3 Series.
Limited Emerging Skills: OpenSCAD, Haskell, Lean4 (Theorem Prover).
Interests
Formal Semantics.
Type Systems.