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.