Welcome. I am a math and computer science major at the University of Illinois. I am primarily interested in software testing, programming languages, and automated theorem proving/proof assistants. Below are some things you may find interesting:

This website is written in Prolog