Office: 415C Gibson Hall
Office Hours: 11:00am-12:00pm T/Th
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.
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:
- 03B15: Higher-order logic and type theory
- 03Fxx: Proof theory and constructive mathematics
- 03G30: Categorical logic, topoi
- 03B70: Logic in computer science
- 03B65: Logic of natural languages
- 03B47: Substructural logics
- 03F15: Recursive ordinals and ordinal notations
- 18D50: Operads
- 18C05: Equational categories
- 18B20: Categories of machines, automata, operative categories
- 18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
- 14F05: Sheaves, derived categories of sheaves and related constructions
- 68N15: Programming languages
- 68N17: Logic programming
- 68N18: Functional programming and lambda calculus
- 68Q30: Algorithmic information theory
- 68Q85: Models and methods for concurrent and distributed computing
- 06B30: Topological lattices, order topologies
- 06B35: Continuous lattices and posets, applications
- 06F30: Topological lattices, order topologies
Other academic interests:
- F.3.2: Semantics of Programming Languages
F.3.1: Specifying and Verifying and Reasoning about Programs
- Proof-theoretic semantics of natural language
- Philosophy of Mathematics
- Philosophy of Language
- Xenharmonic/microtonal music theory
- Music theory in general (I am particularly interested in the perception of tonality).
- Applying what is usually considered more "pure" mathematics to disciplines off the beaten path of the usual conception of "applied math". (Examples would be applying category theory to cognitive science, applying the theory of finitely generated groups to musical tuning theory, etc...)
- Educational reform, especially in mathematics. In particular, coming up with accessible ways for students at the primary school level to understand what both applied and pure mathematicians actually do, and making this understanding of the mathematician's processes of abstraction, deduction, and creative invention as well known in primary schools as the scientific method is today.
Here are some other blogs and websites that you might find interesting:
Open Access Educational Resources