Assured Software, Algorithms, and Information

CIPHER develops and implements rigorous analytical methods to assure the security and integrity of data, software, algorithms, and cyber-connected devices. Research areas of interest include assurance of artificial intelligence and machine learning systems, trusted software and systems, quantum information processing,  and analysis techniques in information theory and related mathematical domains.


Diagram with a gray maze with labels of locations for the keys, lava, door and goal.
Shukla, Y.,  Gao, W., Sarathy, V., Velasquez, A., Wright, R., Sinapov, J.
LgTS: Dynamic Task Sampling using LLM-generated sub-goals for Reinforcement Learning Agents
Proceedings of the Conference of Autonomous Agents and Multi-Agent Systems (AAMAS), 2024
CODEX: A Cluster-Based Method
Timothy K. Mathes, Jessica Inman, Andrés Colón, Simon Khan
CODEX: A Cluster-Based Method for Explainable Reinforcement Learning
IJCAI Workshop on Explainable Artificial Intelligence (XAI), 2023
Publication image 1
Yash Shukla, Kaleb Loar, Robert Wright, Jivko Sinapov
An Object-Oriented Approach for Generating Low-Fidelity Environments for Curriculum Schema Transfer
Proceedings of the Scaling Robot Learning Workshop at International Conference on Robotics and Automation (ICRA), 2022
Jonathan C Balloch, Julia Kim, Jessica L Inman, Mark O. Riedl
The Role of Exploration for Task Transfer in Reinforcement Learning
Proceedings of the IROS 2022 Workshop on Lifelong Learning of High-level Cognitive and Reasoning Skills (2022) 
Publication image 2
Jonathan Balloch, Zhiyu Lin, Mustafa Hussain, Aarun Srinivas, Robert Wright, Xiangyu Peng, Julia Kim, Mark Riedl
NovGrid: A Flexible Grid World for Evaluating Agent Response to Novelty
Proceedings of the AAAI Spring Symposium on Designing Artificial Intelligence for Open Worlds (2022)
Publication image 3
Saad–Falcon, Alex, Jonathan Andreasen, J. Clayton Kerce, Ryan S. Westafer, Jonathan P. Beaudeau, J. Michael McKinney, Christopher F. Barnes
Abstraction and Acceleration of Tensor Processing for Element-Level Digital Arrays
2022 IEEE International Symposium on Phased Array Systems & Technology (2022)
Publication image 4
Kohls, Noah D., Andy X. Zheng, Joshua Kim, Greg Mohler, Yi Chen Mazumdar
Magnetic tags with unique self-assembly patterns for tracking applications.
Journal of Magnetism and Magnetic Materials (2021)
Publication image 5
Sarkar, Anirban, BN Shivakiran Bhaktha, Jonathan Andreasen.
Replica symmetry breaking in a weakly scattering optofluidic random LASER
Scientific Reports (2020)