Brandon Rozek

PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.

You can also find me on: