PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
Observed on April 20, 2024 14:01
Location: Albany
