website/content/publications.md

Title	description	showthedate	aliases
Publications	Papers, Presentations, and Awards obtained	false	/research/publications

Publications

Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)

• Authors: Brandon Rozek, Junkyu Lee, Harsha Kokel, Michael Katz and Shirin Sohrabi
• Venue: AAAI Conference on Artificial Intelligence, 2024.
• Paper to appear in early 2024 | Poster to appear in early 2024

Parallel Verification of Natural Deduction Proof Graphs

• Authors: James Oswald and Brandon Rozek
• Venue: Logical Frameworks and Meta-Languages: Theory and Practice, 2023.
• Paper | Slides

The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds

• Authors: S Bringsjord, JT Oswald, M Giancola, B Rozek, NS Govindarajulu
• Venue: International Conference on Artificial General Intelligence, 2023.
• Paper

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

• Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, B Rozek.
• Venue: International Symposium on Games, Automata, Logic, and Formal Verification, 2022.
• Paper

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

• Authors: Brandon Rozek, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
• Venue: International Conference on Robot Ethics and Standards, 2022.
• Paper

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

• Authors: Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
• Venue: International Symposium on Frontiers of Combining Systems, 2021.
• Paper

Papers

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

• Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, B Rozek
• Venue: International Workshop on Rewriting Logic and its Applications, 2022.
• Paper | Slides

Algorithmic Problems in Synthesized Cryptosystems

• Authors: Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
• Venue: International Workshop on Unification, 2020.
• Paper

Thesis

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

Presentations

Efficient Parallel Verification of Natural Deduction Proof Graphs

• Authors: James Oswald and Brandon Rozek
• Venue: Rensselaer Computer Science Graduate Poster Session, April 2019.
• Poster

QEP: The Quality Policy Evaluation Algorithm

• Venue: Research and Creativity Day at University of Mary Washington, 2019.
• Program | Slides

Beowulf Cluster for Research and Education

• Authors: Brandon Rozek and Stefano Coronado
• Venue: Research and Creativity Day at University of Mary Washington, 2018.
• Program | Poster

Coherent Control of Atomic Population Using the Genetic Algorithm

• Venue: Summer Science Institute Research Symposium, 2017.
• Presentation

Modelling Population Dynamics of Incoherent and Coherent Excitation

• Authors: Hannah Killian and Brandon Rozek
• Venue: Virginia Academy of Science, 2017.
• Poster | Program

Modeling Population Dynamics of Incoherent and Coherent Excitation

• Authors: Hannah Killian and Brandon Rozek
• Venue: Research and Creativity Day at University of Mary Washington, 2017.
• Program

Awards

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)