PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
Observed on October 2, 2022 15:40
Location: Utica, NY, USA
