From 228a587825f5e2363655aed7728415d3d015d84d Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Sun, 30 Aug 2020 00:47:10 -0400 Subject: [PATCH] Updated research and publications --- content/research/_index.md | 2 +- content/research/publications.md | 16 +++++++++++----- 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/content/research/_index.md b/content/research/_index.md index daac04e..d6266c5 100644 --- a/content/research/_index.md +++ b/content/research/_index.md @@ -37,7 +37,7 @@ Worked with Dr. Andrew Marshall under an ONR grant in collaboration with Univers During that time period I built a free algebra library, rewrite library, parts of the crypto tool, and dabbled in Unification algorithms. We're hoping to open source the code base by 2021. (Ping me if its past due) -Currently I'm an external collaborator focused on strengthing the rewrite library. My dream is to slowly work towards building an easy to use theorem prover. +Currently, I am an external collaborator who mainly helps maintain the codebase I started as well as contribute to the research where I can. We presented our work at [UNIF 2020](https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58) and have a couple other papers in the works. ### Programming Languages diff --git a/content/research/publications.md b/content/research/publications.md index 35ea97b..1fc11f0 100644 --- a/content/research/publications.md +++ b/content/research/publications.md @@ -6,17 +6,23 @@ ShowDatesOnPosts: false # Publications -Brandon Rozek. "QEP: The Quality Policy Evaluation Algorithm", Research and Creativity Day at University of Mary Washington, 2019. +[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) -Brandon Rozek, Stefano Coronado. "Beowulf Cluster for Research and Education", Research and Creativity Day at University of Mary Washington, 2018. +[Brandon Rozek. "Expediting Learning with Interactive Demonstrations", University of Mary Washington, 2019.](https://scholar.umw.edu/student_research/305/) -Brandon Rozek. "Coherent Control of Atomic Population Using the Genetic Algorithm", Summer Science Institute Research Symposium, 2017. +# Presentations -Hannah Killian, Brandon Rozek. "Modelling Population Dynamics of Incoherent and Coherent Excitation", Virginia Academy of Science, 2017. +[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.](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 -Julia Arrington, Maia Magrakvilidze, Ethan Ramirez, Brandon Rozek "Beowulf Cluster for Research and Education", University of Mary Washington, 2017-2018 School Year +[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)