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: Lean 4 Tutorial

Publication: Parallel Verification of Natural Deduction Proof Graphs

Recorded Walk: Croton Gorge Park

Wikipedia Page: Firefox

Nature Observation: Rock Squirrel

Recipe: Jambalaya