Brandon Rozek

Photo of Brandon Rozek

PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.


CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation

A Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-Agent Reasoning in Ethically Charged Scenarios

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems


CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms

Algorithmic Problems in Synthesized Cryptosystems


(Undergraduate) Brandon Rozek. “Expediting Learning with Interactive Demonstrations”, University of Mary Washington, 2019.


QEP: The Quality Policy Evaluation Algorithm

Beowulf Cluster for Research and Education

Coherent Control of Atomic Population Using the Genetic Algorithm

Modelling Population Dynamics of Incoherent and Coherent Excitation

Modeling Population Dynamics of Incoherent and Coherent Excitation


National Defense Science and Engineering Graduate (NDSEG) Fellowship, 2022-2025 (Tuition Support/$3400 per month stipend/$5000 Travel Fund/$1500 Personal Development Fund)

Clare Arrington, Maia Magrakvilidze, Ethan Ramirez, Brandon Rozek “High Performance Cluster System for Research and Education”, University of Mary Washington, 2017-2018 School Year ($3500)