3,194
reputation
1
11
26

Bruno Bentzen

I am a postdoc in the Department of Philosophy of Carnegie Mellon University, working with Jeremy Avigad on a project in formal verification, dynamical systems, and constructive analysis.

More about me in my homepage: https://sites.google.com/site/bbentzena/

140
answers
2
questions
~80k
people reached

Top tags (55)

Score 195
Posts 137
Posts % 96
Score 58
Posts 40
Score 23
Posts 11
Score 13
Posts 10
Score 10
Posts 7
Score 7
Posts 11

Top posts (142)

View all questions and answers

Badges (38)

Gold

1

Rarest

Silver

11

Rarest

Bronze

26

Rarest