About
Prior to joining Rensellaer as an Assistant Professor of Computer Science, Radoslav was a postdoctoral fellow at the University of Pennsylvania, where he worked with Dr. George Pappas and Dr. Rajeev Alur. Radoslav defended his PhD dissertation in 2017 at the University of Pennsylvania under the supervision of Dr. Insup Lee and Dr. James Weimer. His research lies broadly in the field of safe and secure autonomy. The natural application domains of his work are safety-critical cyber-physical systems (CPS) such as automotive CPS and medical CPS. The fields relevant to his research are safe autonomy, neural network verification, CPS security, control theory and sensor fusion.
Education & Training
Ph.D., Computer and Information Science, University of Pennsylvania, 2017.
B.A., Computer Science and Mathematical Economics, Colgate University, 2011.
Research
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 my tool Verisig!) as well as resilient and parameter-invariant detection techniques for sensor attacks and other unsafe events (e.g., oxygen desaturation).
Primary Research Focus
Safe and Secure Autonomous Systems
Other Focus Areas
Cyber-physical systems, formal methods, machine learning, control theory and sensor fusion.
Publications
The following is a selection of recent publications in Scopus. Radoslav Ivanov has 41 indexed publications in the subjects of Computer Science, Engineering, Mathematics.
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
Artificial Intelligence
, 313
, 2022
.
Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, 13660 LNCS
, 2022
, pp.585-603
.
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor Carpenter, Oleg Sokolsky, Insup Lee
Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022
, 2022
, pp.1-12
.
Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani
ACM Transactions on Embedded Computing Systems
, 20
, 2021
.
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
IFAC-PapersOnLine
, 54
, 2021
, pp.37-42
.
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor Carpenter, James Weimer, Insup Lee
EPiC Series in Computing
, 80
, 2021
, pp.90-119
.
Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, Insup Lee
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, 12759 LNCS
, 2021
, pp.249-262
.
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
ACM Transactions on Embedded Computing Systems
, 20
, 2021
.
Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
IEEE Robotics and Automation Magazine
, 27
, 2020
, pp.102-116
.
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week
, 2020
.
