Mon 12–1 | Wed 11–12 | Fri 11–12
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.
I want my visual aids to be useful to as many people as possible, so I am always trying to up my accessibility game. In order to help myself and others develop visual aids that use colors in an accessible way, I have made an online colorblindness simulation tool.
New England Recursion and Definability Seminar Wellesley College
Cornell Logic Seminar Cornell University
UConn Logic Group University of Connecticut
Fifth NY Graduate Student Conference in Logic CUNY Graduate Center
Computability in Europe Universitatea din București