Mark Adams

Unregistered less info
541 reputation
66
bio website proof-technologies.com
location Hanoi, Vietnam and Worcester, UK
age 43
visits member for 3 years, 3 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