Nathan BeDell


Office: 415C Gibson Hall

Office Hours: 11:00am-12:00pm T/Th

About Me

I am a first year Ph.D. student in mathematics at Tulane University, and as well as a graduate teaching assistant. My research interests are primarily in the areas of category theory, proof theory, and algebra: especially with regards to their applications to theoretical computer science. I'm also interested in functional programming languages and proof assistants, and you can find some of my code on Github. I hope that this page will serve as a branching off point for potential employers, students, and collaborators, or anyone who is interested in my work. Feel free to contact me if you have any questions. You can find some of the papers that I've written on the arXiv.

My Interests

Below I have listed some of my bigger interests in mathematics and theoretical computer science, in no particular order. AMS Subject classifications: ACM Classification Codes: Other academic interests:

Useful Resources

Here are some other blogs and websites that you might find interesting:

Open Access Educational Resources