18,983 reputation
347108
bio website andrej.com
location Ljubljana
age 43
visits member for 5 years, 5 months
seen 8 hours ago
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

1k
× 99
122
× 16
399
× 39
119
× 15
397
× 62
119
× 12
169
× 22
116
× 12
137
× 21
113
× 12
MathOverflow 18,983 rep 347108
Theoretical Computer Science 13,576 rep 3268
Computer Science 6,012 rep 928
Mathematics 1,431 rep 412
Stack Overflow 1,274 rep 515

705 Votes Cast

all time   by type   month  
577 up 311 question 4
128 down 394 answer