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:

• My GitHub
• My Blog
• My YouTube