E-mail: nbedell@tulane.edu

Office: 415C Gibson Hall

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

- 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

- 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.

- Art of The Problem: An excellent youtube series explaining various ideas in mathematics and computer science.
- Three Months of Modal Logic: A series of short videos giving quick overviews of many different systems of modal logic.
- OPLSS 2012 Lectures: Has a lot of good introductory videos to some of the topics I am interested in.
- Supermath.info: One of my professors from Liberty's page, has lots of useful educational resources. I highly recommend his lecture notes.
- The n-category cafe: A great joint blog discussing a variety of topics related to category theory.
- Azimuth: How can category theory be used to study biology? Let John Baez educate you!
- Math and Programming
- Steve Awodey's home page: A lot of good category theory rescources. (I recommend his book for anyone starting out in the study of category theory)
- Andrej Bauer's blog
- The Stanford Encyclopedia of Philosophy: This is a classic resource with a lot of helpful information pertaining to mathematical topics such as type theory, category theory, and logic.
- The Axis of Eval
- Fewer Lacunae
- Julie Moronuki's Haskell blog