1,693 reputation
413
bio website andrew.cmu.edu/~croux
location Pittsburgh, PA
age
visits member for 2 years, 9 months
seen yesterday

I am currently a postdoc in Philosophy (formerly Computer Science), my main fields of interest revolve around logic and type theory, termination checking, satisfiability modulo theories.


This user has not asked any questions
42
× 9
20
× 5
31
× 6
17
× 3
31
× 5
17
× 2
29
× 7
16
× 3
20
× 5
15
× 3

385 Votes Cast

all time   by type   month   week  
375 up 117 question 8 4
10 down 268 answer