Sage Binder

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