Brandon Rozek

Photo of Brandon Rozek

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

Tooted on

Hi everyone! I'm a PhD student in computer science, studying the intersection between formal logic and artificial intelligence.

I enjoy and love all things , I am a user and often tinker around with my .

I also fumble around with and enjoy vibing outdoors when the weather is nice. When I'm extra ambitious, I'll add a hike in!