Brandon Rozek
Applied Scientist at Amazon Web Services (AWS)
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.
9 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, Bachelor of Science - BS Computer Science at University of Mary Washington
Stackoverflow
79reputation
5kreached
3answers
0questions
Github Skills (27)
html5-canvas7
exec6
execcommand6
nodejs6
child-process6
turtle-graphics6
unification6
python6
javascript6
verify5
operation4
java4
crypto4
authorization4
cryptography4
Programming languages (11)
Github contributions (5)
Brandon-Rozek/vspursuer
Apr 2024 - Feb 2026
Verify Relevance Properties for Matrix Models with Implicative Connectives
Contributions:39 PRs, 84 pushes, 42 branches in 1 year 10 months
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
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.