Aniruddh Puranic
Cambridge,
MA 02142, USA
I was a Postdoctoral Associate in the Institute for Systems Research (ISR) at the University of Maryland - College Park, mentored by John S. Baras and Calin Belta.
My research focuses on Neuro‑Symbolic AI for safe, assured autonomy, including:
- Reinforcement and imitation learning for autonomous systems
- Formal methods–based foundation models for verifiable autonomy
- Human-centered, explainable, and safe AI
- Multi-agent and lifelong learning with safety guarantees
I received my Ph.D. in Computer Science from the University of Southern California (USC) in 2024, an M.S. in Computer Science (Intelligent Robotics) from USC in 2018, and a B.E. in Computer Science and Engineering from B.M.S College of Engineering (VTU), India, in 2016.
I was a research intern (Summer 2022) at SRI International’s Center for Vision Technologies, working on lifelong learning. Before my Ph.D., I was a researcher in the Intelligent Connected Systems Division at Toyota North America - InfoTech Labs, where I worked on data-driven formal specifications for connected-vehicle applications and edge computing.