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