I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.
- MathOverflow 36.9k 36.9k 55 gold badges9191 silver badges184184 bronze badges
- Computer Science 24.4k 24.4k 11 gold badge5757 silver badges9595 bronze badges
- Theoretical Computer Science 23.8k 23.8k 11 gold badge6363 silver badges109109 bronze badges
- Mathematics 2.4k 2.4k 1111 silver badges2121 bronze badges
- Stack Overflow 2.3k 2.3k 1414 silver badges2525 bronze badges
- View network profile
Top network posts
- 365 Why do roots of polynomials tend to have absolute value close to 1?
- 146 How To Present Mathematics To Non-Mathematicians?
- 99 Axiom of choice, Banach-Tarski and reality
- 81 Au revoir, law of excluded middle?
- 76 Is rigour just a ritual that most mathematicians wish to get rid of if they could?
- 72 On proof-verification using Coq
- 72 Techniques for Reversing the Order of Quantiﬁers
- View more network posts →