|visits||member for||2 years, 7 months|
|seen||Nov 20 at 18:48|
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.
|bio||website||andrew.cmu.edu/~croux||visits||member for||2 years, 7 months|
|location||Pittsburgh, PA||seen||Nov 20 at 18:48|
353 Votes Cast
|all time||by type||month|