Over five years shipping backend systems, APIs, and data platforms across enterprise AI, insurance tech and whatsApp performance marketing solutions. On the frontend I lean into design systems. I'm also the founder of Sauti, a platform producing radio and TV ads in Kenya's 42+ indigenous languages.
Outside of work I'm a student pilot training for my PPL, and I hold a BSc in Mathematics and Computer Science. Flying and formal proofs reward the same thing — precision, calm decisions, and knowing what's actually true.
I'm a student pilot chasing my PPL. Flying teaches situational awareness, checklist discipline, and decision-making under uncertainty — skills that bleed straight back into how I build software.
My BSc in Mathematics and Computer Science left me with a soft spot for formal proofs and type theory. I dip into Lean and Agda on weekends, mostly to remind myself what rigor really looks like.