
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:
- An automated theorem prover I work on: Pecan (Try it out!)
- Google Scholar Profile
- Publications
- Blog
- GitHub
- YouTube
- [this website is how Reed left it before April 2022, see links below for more info...]
- Life of Reed Oei
- More info on Reed Oei Memorial Scholarship Funds
- Math Competition named after Reed
- UIUC Math article about Reed
- Inaugural Reed Oei Memorial Scholarship Award SJHS
This website is written in Prolog