

Welcome. I am a Math and Computer Science major at the University of Illinois (UIUC). I am primarily interested in improving software quality and the software developing experience through advances in software testing, programming languages, and automated theorem proving/proof assistants. Below are some things you may find interesting:
 An automated theorem prover I'm working on: Pecan (Try it out!)
 Google Scholar Profile
 Publications
 Blog
 GitHub
 YouTube
This website is written in Prolog