731
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
~32k
people reached
  • Hanoi, Vietnam and Worcester, UK
  • Member for 9 years, 10 months
  • 574 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 48
Posts 2
Score 38
Posts 3
Score 35
Posts 1
Score 19
Posts 1
Score 13
Posts 1

Top posts (4)

Badges (15)

Gold

Silver

8

Rarest

Bronze

7

Rarest