cody

Pittsburgh, PA

andrew.cmu.edu/~croux

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.

Top Questions
No questions with score of 5 or more
Top Answers
1 2