|location||Hanoi, Vietnam and Worcester, UK|
|visits||member for||4 years, 1 month|
|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.
|bio||website||proof-technologies.com||visits||member for||4 years, 1 month|
|location||Hanoi, Vietnam and Worcester, UK||seen||Aug 19 '12 at 21:38|