~/
Brandon Rozek
PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.