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.