Parv Kapoor


Ph.D. Student in Software Engineering
Software and Societal Systems Department
School of Computer Science
Carnegie Mellon University

parvk [at] cs [dot] cmu [dot] edu
CV / Google Scholar / Linkedin

Hi! I am a third-year Ph.D. student at Carnegie Mellon University advised by Dr. Eunsuk Kang and Dr. Sebastian Scherer. I also work with the Robotics Institute (CMU), the AI for Systems Group (Microsoft Research New York City) and Intelligent Connected Systems Group (Toyota Infotech Labs).

I am deeply passionate about the intersection of Software Engineering and Artificial Intelligence, particularly in leveraging software engineering methodologies to guarantee the safety and reliability of AI systems. My ongoing research involves:

  1. Enhancing the robustness of reinforcement learning agents
  2. Designing safe controllers for autonomous systems while adhering to formal high-level system specifications
  3. Leveraging Alloy+LLMs for Semi Formal Programming (Requirements to Declarative Specifications to Code)

I am currently a part of AirLab and SoDA. Prior to joining CMU, I worked with Dr. Jyotirmoy Deshmukh’s CPS VIDA lab at University of Southern California.


May 7, 2024 Interning at Scaled Foundations with Dr. Ashish Kapoor and Dr. Sai Vemprala for Summer 24. working on Software Hardware Codesign for GRID and providing Assurances for Robotics Foundation Models(PACT)!
Apr 15, 2024 Gave a guest lecture on Software Design for AI based Systems for 17-723.
Feb 18, 2024 Our paper titled “Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications” was accepted to Nasa Formal Methods 2024!
Jan 16, 2024 TA’ing Designing Large Scale Software Systems. Sign up to learn the art of software design!
Jan 15, 2023 Our paper titled “ Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains” was accepted to ICRA 2023!