PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
September, 2023
A day in Brooklyn
July, 2023
Adventures in Bird Watching
