About
Brandon Rozek is a PhD student studying under Dr. Selmer Bringsjord in the Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory.
His research interests include designing intelligent agents using computational logic including:
- Explainability through verifiable chains of inference
- Defeasible reasoning under uncertainty
- Reasoning about agents and their cognitive states
- Automated planning under ethical constraints
Peer Reviewed Publications
For a more up to date presentation please visit
Google Scholar or
my website.
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
For a more up to date presentation please visit
Google Scholar or
my website.
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.
