Brandon Rozek
PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
Blog
Research
TA
Community
You can also find me on:
Mastodon
GitHub
Google Scholar
Email