Graduated from Arizona State University with a B.S. in mathematics and a minor in philosophy. Incoming UIowa CS PhD student, with an interest in formalizing mathematics and developing proof assistants.
This profile is from a federated server and may be incomplete. Browse more on the original instance.