Brandon Rozek
PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
You can also find me on:
Latest Updates
Blog Post: Lean 4 Tutorial
Publication: Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)
Recorded Walk: Croton Gorge Park
Wikipedia Page: Firefox
Nature Observation: Rock Squirrel
Recipe: Jambalaya