publications

Below is my DBLP entry with some of my latest publications.

I am always willing to collaborate with people on research ideas, and I definitely welcome students who are willing to learn about logic. If you reached this page for either of those reasons, or simply because you want a preprint copy of one of my papers, please send me an email.