Wed 12:30–1:30 | Fri 8–9 & 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.
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