3,317 reputation
619
bio website andrew.cmu.edu/~croux
location Pittsburgh, PA
age
visits member for 3 years, 7 months
seen 20 hours ago

I am currently a postdoc in philosophy (though I come from a TCS background), my main fields of interest revolve around logic and type theory, termination checking, satisfiability modulo theories.


This user has not asked any questions
105
× 24
50
× 6
91
× 18
33
× 8
88
× 19
33
× 3
74
× 13
30
× 8
74
× 12
28
× 2

524 Votes Cast

all time   by type   month   week  
503 up 194 question 7 4
21 down 330 answer