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