I am in my fifth year of PhD studies at the University of Connecticut.

My research is in mathematical logic, specifically in computability theory, reverse mathematics, strong reductions, and higher recursion. My research adviser is Damir Dzhafarov.

david.j.nichols@uconn.edu

Phone

860.486.8071

Office

MONT 422

Office Hours

Wed 12:30–1:30 | Fri 8–9 & 11–12

#### Papers

Strong Reductions between Relatives of the Stable Ramsey's Theorem Forthcoming

Effective Completeness for Modal System S4.3.1 Forthcoming

I think that visual aids are one important tool available to mathematics instructors, and that the best visual aids are usually those that can be manipulated or interacted with.

In collaboration with Amit Savkar, I develop interactive visualizations of calculus concepts and examples. These visualizations are used for calculus teaching and learning at the University of Connecticut. You can find examples of my early work on Dr. Savkar's website. For more recent examples, contact me.

#### 2017

New England Recursion and Definability Seminar Wellesley College

Cornell Logic Seminar Cornell University

#### 2016

UConn Logic Group University of Connecticut

Fifth NY Graduate Student Conference in Logic CUNY Graduate Center

#### 2015

Computability in Europe Universitatea din București