Theodore Meek

Undergrad at UW. Currently interested in math, formal verification, and interactive theorem provers.