Mark Adams

511

Reputation

440 views

Unregistered User

Name	Mark Adams
Member for	2 years
Seen	Aug 19 at 21:38
Website	proof-technologies.com
Location	Hanoi, Vietnam and Worcester, UK
Age	42

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.

stats recent reputation favorites