Radoslav Ivanov
Mail:3330 Walnut Street
Levine Hall 302
Philadelphia, PA 19104
Office:Levine Hall 613


I received the B.A. degree with a double major in Computer Science and Mathematical Economics from Colgate University in 2011. I defended my PhD dissertation in 2017 at the University of Pennsylvania under the supervision of Dr. Insup Lee and Dr. James Weimer.

I am currently a postdoctoral fellow at the University of Pennsylvania, working with Dr. George Pappas and Dr. Rajeev Alur. I also collaborate closely with Dr. Insup Lee and Dr. James Weimer.

Research Interests

My research lies broadly in the field of safe and secure autonomy. The natural application domains of my work are safety-critical cyber-physical systems (CPS) that operate in complex environments (e.g., automotive CPS) and have high-dimensional state spaces but incomplete models and measurement data (e.g., medical CPS).

I work both on design-time and run-time approaches to analyze the safety of autonomous systems. At design time, I am interested in developing verification techniques for closed-loop systems with learning-enabled components (check out our closed-loop verification tool Verisig!). At run time, my goal is to build robust and resilient detection and estimation in order to provide precise information about the system's state in the presence of failures and attacks. This line of work complements the verification approaches by establishing worst-case guarantees even when the model used at design-time might be wrong.

The fields relevant to my research are safe autonomy, neural network verification, CPS security, control theory and sensor fusion.

Public Service

  • Covid-19 Research and Academic Safety Reporting Committee
    The committee handles reports of Covid-19-related issues or concerns at UPenn.

  • TPC Member
    CoRL 2020, ICCPS 2020, DAC 2020, DARS 2019