10,879 reputation
2456
bio website andrej.com
location Slovenia
age 43
visits member for 3 years, 11 months
seen 17 hours 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.


383
× 38
110
× 8
251
× 21
103
× 11
227
× 24
94
× 9
174
× 17
87
× 5
169
× 20
84
× 10
MathOverflow 16,255 rep 14095
Theoretical Computer Science 10,879 rep 2456
Computer Science 4,737 rep 722
Stack Overflow 1,233 rep 515
Mathematics 1,151 rep 410

201 Votes Cast

all time   by type   month  
126 up 116 question 1
75 down 85 answer