Brandon Rozek
Graduate Teaching Assistant
City of Troy, New York, United States
Summary
👤
Senior🎓
Top SchoolBrandon Rozek is a PhD candidate in computer science at Rensselaer Polytechnic Institute with eight years of experience applying automated planning, reasoning, and reinforcement learning to sequential decision-making under uncertainty. He has interned at IBM and AWS, producing published research and engineering contributions such as a 3x deserialization speedup and a production-grade Protobuf deserializer for Lean used by Cedar. As an NDSEG Fellow and organizer of RPI’s AI & Reasoning group, he bridges formal methods and practical ML, integrating contingent planning with RL to reduce sample complexity. An experienced educator and TA, he teaches programming languages and software principles while maintaining a prolific technical blog of 350+ posts and a longtime passion for Linux.
8 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Rensselaer Polytechnic InstituteBachelor of Science - BS, Computer Science, 3.95/4.00, Bachelor of Science - BS, Computer Science, 3.95/4.00 at University of Mary Washington
Stackoverflow
79reputation
5kreached
3answers
0questions
Github Skills (28)
unification8
verify6
exec6
execcommand6
nodejs6
child-process6
turtle-graphics6
python6
javascript6
html5-canvas5
operation4
verification4
java4
tactics4
crypto4
Programming languages (11)
Github contributions (5)
symcollab/CryptoSolve
Nov 2020 - Apr 2023
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
Contributions:3 releases, 2 PRs, 16 pushes in 2 years 4 months
cryptographyoperationtheorem-provingcryptographicsecurity
Brandon-Rozek/website-theme
Jan 2020 - Mar 2025
Modified Version of the Pulp Theme (https://github.com/koirand/pulp)
Contributions:5 PRs, 137 pushes, 3 branches in 5 years 3 months
pulpgulpmodified
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.