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.
Ph.D., Computer and Information Science, University of Pennsylvania, 2017.
B.A., Computer Science and Mathematical Economics, Colgate University, 2011.
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).
Cyber-physical systems, formal methods, machine learning, control theory and sensor fusion.
The following is a selection of recent publications in Scopus. Radoslav Ivanov has 40 indexed publications in the subjects of Computer Science, Engineering, Mathematics.