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