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:
- Enhancing the robustness of reinforcement learning agents
- Designing safe controllers for autonomous systems while adhering to formal high-level system specifications
- 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.
news
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 |