Welcome. My name is Reed Oei (/rid.uː.i/). 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:

[ This website is recreated from the website Reed created.  Its writings are left as they were before April 2022.   Website was originally written in Prolog ]