21,867 reputation
6 1

Andrej Bauer

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