PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
This page is under construction…
