621 reputation
8 7

Mark Adams (unregistered)

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.

Top Tags (5)

Score 41
Posts 2
Score 31
Posts 3
Score 31
Posts 1
Score 16
Posts 1
Score 10
Posts 1

Top Posts (4) All Questions Answers | Votes Newest

Badges (15)

Gold
Silver 8

Rarest

Bronze 7

Rarest