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: Monitoring my Hard Drives with SMART Attributes

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

Recorded Walk: Santa Teresa

Last Wikipedia Edit: Firefox

Nature Observation: Smooth Rockcress

Recipe: Beef Taco Soup