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!