I'm a logician and philosopher of mathematics working at Kansas State University. I'm also the creator of Carnap, a free and open-source software framework for working with formal systems (check it out here).
Kansas State UniversityDepartment of PhilosophyAssociate Professor
University of Notre Dame
Department of Philosophy