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