1,643 reputation
413
bio website andrew.cmu.edu/~croux
location Pittsburgh, PA
age
visits member for 2 years, 8 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
19
× 5
31
× 6
17
× 3
31
× 5
17
× 2
29
× 7
16
× 3
20
× 5
15
× 3

370 Votes Cast

all time   by type   month  
360 up 109 question 13
10 down 261 answer