7,852 reputation
1638
bio website andrej.com
location Slovenia
age 42
visits member for 2 years, 9 months
seen 2 hours ago
stats profile views 1,482

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.


This user has not asked any questions
292
× 30
90
× 10
195
× 22
82
× 7
187
× 16
79
× 4
136
× 16
76
× 6
109
× 14
65
× 7

161 Votes Cast

all time   by type   month  
100 up 94 question 1
61 down 67 answer