PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
March, 2020
Birthday Music
