601 reputation
bio website proof-technologies.com
location Hanoi, Vietnam and Worcester, UK
age 45
visits member for 4 years, 7 months
seen Aug 19 '12 at 21:38
My company develops software for creating and checking proofs, as well as supplying consultancy for safety-critical software and functional programming. In 2009-2011 I was living in Vietnam for 2 years, where I was running the Vietnam half of Tom Hales' Flyspeck project.