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) and the AI for Systems Group (Microsoft Research New York City).

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. Developing real-time monitoring and alignment strategies for Large Language Models (LLM) agents.

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.


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!
May 23, 2022 Attended 14th International Symposium on Nasa Formal Methods 2022!
May 15, 2022 Selected for 11th Summer school on Formal Techniques organized by SRI International