PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
Observed on September 17, 2022 17:47
Location: Malta, NY, USA
