Photo of Brandon Rozek

Brandon Rozek

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

You can also find me on:

Latest Updates

Blog Post: Re: Static+, can it work?

Publication: Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals

Recorded Walk: Grafton Lakes State Park - Shaver Pond

Last Wikipedia Edit: Firefox

Nature Observation: Smooth Rockcress

Recipe: Beef Taco Soup