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) such as automotive and medical CPS. I work both on design-time and run-time approaches to analyze the safety of these systems. My contributions include a verification technique for autonomous systems with neural network components (check out our tool Verisig!) as well as resilient and parameter-invariant detection techniques for sensor attacks and other unsafe events (e.g., oxygen desaturation).

The fields relevant to my research are cyber-physical systems, formal methods, machine learning, control theory and sensor fusion.


  • Our paper "Verifying the Safety of Autonomous Systems with Neural Network Controllers" won the best paper award at the ACM Transactions on Embedded Computing Systems for the period 2019-20!
  • I will serve as the co-chair on the repeatability evaluation committee of ICCPS 2023.

Public Service

  • Repeatability Evaluation Committee Co-Chair
    ICCPS 2023
  • PC Co-Chair
    15th Workshop on Numerical Software Verification, co-located with FLoC 2022
  • TPC Member
    L4DC (2022-23), ICCPS (2020, 2022-23), AAAI (2023), CoRL (2020-22), DAC (2020-22)
  • Covid-19 Research and Academic Safety Reporting Committee
    The committee handles reports of Covid-19-related issues or concerns at UPenn.