I am a math instructor at the University of Colorado at Boulder. My interests have evolved from proof theory and philosophical concerns about knowledge to the upper reaches of set theory and the large cardinal hierarchy. I also occasionally dabble in combinatorics of the finite sort.