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.
Education
2006 — 2010
University of Maryland
Economics
2006 — 2010
2009 — 2009
Danish Institute for Study Abroad
Multicultural Psychology
2009 — 2009