PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
March, 2017
Knit a Document in RStudio