Modal Logic of Forcing Classes
(Set Theory Day, CUNY Graduate Center, March 11, 2016 )

A Nonstandard Proof of the Fundamental Theorem of Algebra (CUNY Graduate Student Logic Seminar, July 2003)

The Classical Laver Function (New York City Logic Workshop, November 22, 2002)

The Unified Modeling Language (Featured Talk, co-presented with Lou Varveris, Princeton ACM/IEEE Computer Society Joint Meeting, Princeton, NJ, January 1999)