I moved to the Dept. of Computer Sciences at the University of Texas at Austin. Hook 'em! Hi. My name is Ian Wehrman. I am a graduate student studying computer science at Washington University in St. Louis. I work in the pedantics group with my illustrious advisor Aaron Stump and a few other bookworms. I am interested in theory: automated reasoning, term rewriting, type theory, mathematical and philosophical logic, proof systems, verification and fault tolerance, functional languages, and algorithms for hard or even undecidable problems. My work has resulted in a handful of publications. In my spare time, I wander about the Internet looking at things. »