I am a second-year CS PhD student in the Computational Logic Center at the University of Iowa, working with Dr. Katherine Kosaian. I have also previously worked with Dr. Aaron Stump. I am interested in formal methods, formalizing mathematics, and the development of proof assistants. I have a bachelor's degree in mathematics from Arizona State University, with a minor in philosophy.
"Is what I am doing really worth the effort?
Yes, but only if a light shines on it from above."
—Ludwig Wittgenstein, Culture and Value