MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Mark Adams

511
Reputation
441 views
Is this your account?

Unregistered User 

Name Mark Adams
Member for 2 years
Seen Aug 19 at 21:38
Website
Location Hanoi, Vietnam and Worcester, UK
Age 43
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.