Math 141, Autumn 2020
Research and Publications
Slides from my Talks
I serve as one of two Secretary-Treasurers for the Association for Symbolic Logic. The other is Prof. Reed Solomon, of the University of Connecticut. Among other duties, I handle applications for ASL sponsorship of logic conferences around the world: click here for more information.
I am an organizer for the CUNY Logic Workshop. In addition, here is a link to other logic seminars at the CUNY Graduate Center.
I am on the Editorial Board of Computability, the journal of the Association Computability in Europe, and also serve on the Steering Committee for that Association.
In Autumn 2020, I am a co-organizer of the program Decidability, Definability, and Computability in Number Theory at the Mathematical Sciences Research Institute in Berkeley, CA. This program is taking place principally online, due to the covid-19 pandemic.