Andrej Bauer

Ljubljana

andrej.com

Age: 42

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.
Top Questions
1 2

Top Answers
1 2 3 4 5 9