Cody Roux

Info

I am currently a Postdoc in the Philosophy Department at Carnegie Mellon University, working on topics related to type theory.

I was previously in the Proval INRIA team, working on the Alt-Ergo theorem prover; and before that, I was a PhD student in the Pareo INRIA team, under the direction of Claude Kirchner and Frederic Blanqui.

Teaching

PhD

Type Based Termination: Semantics and Generalizations. In English, with introduction in French.

Publications in the proceedings of international conferences

Publications in workshops

Software

Other Stuff

  1. Some small Coq developments:
contact