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

This user has not asked any questions

0 Votes Cast

This user has not cast any votes