PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
More links coming soonish:
