Radoslav Ivanov

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.