701
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.
4
answers
0
questions
~30k
people reached
  • Hanoi, Vietnam and Worcester, UK
  • Member for 8 years, 8 months
  • 559 profile views
  • Last seen Aug 19 '12 at 21:38

Top network posts

We respect a laser-like focus on one topic.

Top tags (5)

Score 46
Posts 2
Score 37
Posts 3
Score 33
Posts 1
Score 18
Posts 1
Score 13
Posts 1

Top posts (4) All Questions Answers | Votes Newest

Badges (15)

Gold

Silver

8

Rarest

Bronze

7

Rarest