Hi, I'm Owain West

I'm a computer scientist with a special interest in logic and mathematics. I'm currently the Senior Data Engineer at TickPick.

At work I build verification and data systems in Rust: tools that check what holds across code, data and deployments, and name the evidence still missing. On my own time I formalize mathematics in Lean 4. Two private projects I'm glad to walk through: gargi, a Lean 4 parser in Rust that reads all of Mathlib in about four seconds, and proth, a Proth-prime search whose arithmetic follows the CPU cache, with a Metal GPU backend.

My first love is formal logic; here is a short, free introduction to it that I helped write. There is also a brief entreaty for fairness dynamics.

Beyond those: music, literature, mental health support and advocacy, and photography.