---
Title: Publications
Descriptions: Papers, Presentations, and Grants obtained
showthedate: false
---

## Papers

[Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek. "Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems", International Symposium on Frontiers of Combining Systems, 2021.](https://link.springer.com/chapter/10.1007/978-3-030-86205-3_14)


## Workshops

[Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek. "Algorithmic Problems in Synthesized Cryptosystems", UNIF Workshop, 2020.](https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58)


## Thesis

[Brandon Rozek. "Expediting Learning with Interactive Demonstrations", University of Mary Washington, 2019.](https://scholar.umw.edu/student_research/305/)

## Presentations

[Brandon Rozek. "QEP: The Quality Policy Evaluation Algorithm", Research and Creativity Day at University of Mary Washington, 2019.](/files/research/QEP.pptx)

[Brandon Rozek, Stefano Coronado. "Beowulf Cluster for Research and Education", Research and Creativity Day at University of Mary Washington, 2018.](/files/research/LUNACposter.pdf)

[Brandon Rozek. "Coherent Control of Atomic Population Using the Genetic Algorithm", Summer Science Institute Research Symposium, 2017.](/files/research/coherentcontrolofatomicpopulation.pdf)

[Hannah Killian, Brandon Rozek. "Modelling Population Dynamics of Incoherent and Coherent Excitation", Virginia Academy of Science, 2017.](/files/research/modellingpopulationdynamics.pdf)

Hannah Killian, Brandon Rozek. “Modeling Population Dynamics of Incoherent and Coherent Excitation", Research and Creativity Day at University of Mary Washington, 2017.


## Grants

[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)](https://cas.umw.edu/wp-content/blogs.dir/51/files/2018/10/Fall-2017-Awards.pdf)