551 reputation
66
bio website proof-technologies.com
location Hanoi, Vietnam and Worcester, UK
age 44
visits member for 3 years, 10 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.