I am a first-year CS PhD student at the University of Iowa, working with Dr. Aaron Stump and Dr. Katherine Kosaian. 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