12,193 reputation
2964
bio website andrej.com
location Slovenia
age 43
visits member for 4 years, 3 months
seen 1 hour ago

I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.


401
× 40
115
× 8
293
× 25
109
× 11
234
× 25
103
× 10
204
× 25
91
× 11
187
× 18
88
× 5
This user has no other accounts on the Stack Exchange network

219 Votes Cast

all time   by type   month   week  
134 up 129 question 3 1
85 down 90 answer