Brandon Rozek

About

Brandon Rozek graduated with his PhD in Computer Science and was advised by Dr. Selmer Bringsjord in the Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory.

His dissertation research was on automatically finding and recognizing plans under qualitative uncertainty. This is when agents are unable to quantify the likelihood of an event but can characterize whether one event is more likely than another. Additionally during his PhD, Brandon worked on

• Efficiently determining whether a matrix model satisfies the variable sharing property -- an important property in relevant logics.
• Techniques for incorporating automated planning within partially-observable reinforcement learning problems.
• Planning and reasoning under epistemic and deontic constraints

Peer Reviewed Publications

Brandon Rozek and Selmer Bringsjord. “Filtering Goals of Necessity-Optimal Agents in Qualitative Possibilistic Recognition via Planning” International Conference on Agents and Artificial Intelligence, 2026.

Brandon Rozek and Andrew Tedder. “VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property” Journal of Logic, Language, and Information, 2026.

James T. Oswald, Brandon Rozek, Thomas M. Ferguson, Selmer Bringsjord. “A Modal Logic of Optimality (Student Abstract)” AAAI Conference on Artificial Intelligence, 2025.

James T. Oswald, Brandon Rozek, Thomas M. Ferguson. “Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning about Goals” Künstliche Intelligenz, 2024.

Brandon Rozek and Selmer Bringsjord. “Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning” Künstliche Intelligenz, 2024.

Brandon Rozek, Junkyu Lee, Harsha Kokel, Michael Katz, and Shirin Sohrabi. “Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)” AAAI Conference on Artificial Intelligence, 2024.

James T. Oswald and Brandon Rozek. “Parallel Verification of Natural Deduction Proof Graphs”, International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2023.

S Bringsjord, J T. Oswald, M Giancola, B Rozek, N S. Govindarajulu. “The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds”, International Conference on Artificial General Intelligence, 2023.

D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, B Rozek. “CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation”, International Symposium on Games, Automata, Logic, and Formal Verification, 2022.

Brandon Rozek, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu. “A Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-Agent Reasoning in Ethically Charged Scenarios”, International Conference on Robot Ethics and Standards, 2022.

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.

Workshop Papers

D Chichester, W Du, R Kauffman, H Lin, C Lynch, A Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, B Rozek. “ CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms”, International Workshop on Rewriting Logic and its Applications, 2022.

Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek. “ Algorithmic Problems in Synthesized Cryptosystems”, International Workshop on Unification, 2020.