Cody Roux

I'm currently an applied scientist at Amazon Web Services.


I'm interested in various topics around type theory, proof theory, and program verification.

Here's a link to my DBLP pageĀ 


I have a number of fun little projects on my github, with most projects incomplete, as is tradition.

My personal favorite is Name the Biggest Number in which users try to define the largest possible number in Coq (and prove that it is!). Feel free to participate!


I'm currently running a podcast called The Church of Logic, which is little bits of mathematical knowledge pressed into 10 minute bites (bytes?).