MathOverflow
Profile Activity
Network profile
173
reputation
1
6

Christoph Haase

I'm a Departmental Lecturer in Computer Science at the University of Oxford.

2
answers
1
question
~2k
people reached

Communities (2)

Top network posts

Top tags (8)

Score 4
Posts 3
Posts % 100
Score 4
Posts 1
Score 4
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (3)

All Questions Answers
Votes Newest
9 Which recursively-defined predicates can be expressed in Presburger Arithmetic? Sep 7 '15
4 Status of an open problem about semilinear sets Sep 29 '15
3 Primes in arithmetic progressions above a given threshold Apr 10 '20

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest