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.
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.
