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