19,148 reputation
347109
bio website andrej.com
location Ljubljana
age 44
visits member for 5 years, 7 months
seen 20 mins ago
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.