Steven Obua

obua.com [email protected]

Recursive Mind Edinburgh (UK) I love making virtual artifacts by combining rigorous thinking with creativity and design. I hold a Diplom in math and a PhD in interactive theorem proving.