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 32.4k 32.4k 44 gold badges8282 silver badges174174 bronze badges
- Theoretical Computer Science 22.4k 22.4k 11 gold badge5959 silver badges107107 bronze badges
- Computer Science 21.1k 21.1k 11 gold badge4747 silver badges8686 bronze badges
- Mathematics 2.3k 2.3k 1010 silver badges2020 bronze badges
- Stack Overflow 2k 2k 1212 silver badges2424 bronze badges
- View network profile →
Top network posts
- 357 Why do roots of polynomials tend to have absolute value close to 1?
- 143 How To Present Mathematics To Non-Mathematicians?
- 94 Axiom of choice, Banach-Tarski and reality
- 78 Au revoir, law of excluded middle?
- 75 Is rigour just a ritual that most mathematicians wish to get rid of if they could?
- 68 Techniques for Reversing the Order of Quantiﬁers
- 65 If return a = return b then does a=b?
- View more network posts →