PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
I didn’t do the greatest job at writing a progress report every week but here on the page are the ones I did write.
January 29 2019
February 12 2019
February 25 2019
March 26 2019
April 2 2019
