Radoslav Ivanov
Mail:110 8th Street
Lally Building 309
Troy, NY 12180
Office:Lally Bulding 309


I am an assistant professor in the Computer Science department at Rensselaer Polytechnic Institute. Prior to that, I was a postdoctoral fellow at the University of Pennsylvania, where I worked with Dr. George Pappas and Dr. Rajeev Alur.

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.

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

  • TPC Member
    L4DC 2022, DAC 2022, ICCPS 2022, CoRL 2021, DAC 2021, CoRL 2020, ICCPS 2020, DAC 2020, DARS 2019
  • Covid-19 Research and Academic Safety Reporting Committee
    The committee handles reports of Covid-19-related issues or concerns at UPenn.