Personal information

Name

Andrej Bauer

Homepage

http://andrej.com/

About you

I am a mathematician at the Faculty of mathematics and physics, University of Ljubljana, Slovenia. I work in logic, constructive mathematics, a bit of category theory, theory of programming languages, and computable topology and analysis.

History

Member for

11 years 15 weeks