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