Aniruddh Puranic

University of Southern California (USC)


941 Bloom Walk, SAL 104

Los Angeles, CA 90089, USA

I am a Computer Science PhD candidate at USC. My research interests are in safe human-robot interactions, robot learning from demonstrations, reinforcement learning and formal verification of autonomous cyber-physical systems.

I was a research intern during Summer 2022 at SRI International’s Center for Vision Technologies (CVT), working on lifelong learning. Prior to joining the PhD program, I was a Researcher in the Intelligent Connected Systems (ICS) Division at Toyota North America - InfoTech Labs (formerly, Toyota InfoTechnology Center) where I worked on data-driven formal specification for connected vehicle applications using edge computing.

I graduated with a masters in Computer Science (Intelligent Robotics specialization) from USC in 2018 and received my bachelors from B.M.S College of Engineering, India in 2016.

Visit this page for more information about my research and academic activities. View my resume here.


I am also an electronic music producer under the alias Andy-Ruddh. My sounds consist of raw and hypnotic techno.

You can find my discography here.


  • USC (Academic only): puranic[at]usc[dot]edu

  • Personal: andyruddh[at]gmail[dot]com


Feb 10, 2023 My new EP - Imitation - ranked #31 on the Beatport Global Techno charts.
Mar 29, 2021 ACM SIGBED blog on Robot Learning meets Formal Specifications: Designing Safer Embedded Software in the age of AI
Nov 20, 2020 LfD-STL appears in major news (RISKS Digest, ACM)
Mar 28, 2018 TQTL for vision-based perception systems was highlighted in USC Viterbi News.