15,528 reputation
13890
bio website andrej.com
location Ljubljana
age 42
visits member for 4 years, 5 months
seen yesterday
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.