I am an innovative full-stack AI and business applications architect and developer. I use Claude Code , Gemini, and OpenAI's Codex to write everything from functional production Typescript to functional analysis math proofs in Lean. Provable code, software logic and maths fascinate and motivate me.
Experience
2023 — Now
2021 — Now
2019 — 2019
Education
University of Maryland
Economics
2006 — 2010
Danish Institute for Study Abroad
Multicultural Psychology
2009 — 2009