Spring 2022: Information Session and Workshop for IBM/RPI Call for Proposals

Join us via Webex on Wednesday, July 13, from 1 pm – 3 pm Eastern for an Information Session and Workshop concerning the Request for Joint Rensselaer/IBM Research Proposals. This RFP is part of the AI Research Center (AIRC) - a collaborative research initiative between RPI and IBM to drive world class innovation and fundamental advances in artificial intelligence and machine learning for the benefit of society.  The full RFP is available via the IDEA Intranet (with RPI authentication) here.

Rensselaer Announces Institute for Data, Artificial Intelligence, and Computing

Rensselaer Polytechnic Institute President Shirley Ann Jackson today announced the launch of the Rensselaer Institute for Data, Artificial Intelligence, and Computing (DAIC).

Anonymous (not verified) Tue, 06/21/2022 - 00:00
RPI Floating Solar Explorer App Helps City of Cohoes Win One-of-a-kind Grant erickj4 Wed, 05/04/2022 - 06:32

The City of Cohoes, N.Y. announced on May 3, 2022 that National Grid committing $750,000 in economic development funding to advance their model Municipal Floating Solar Demonstration project. The National Grid grant builds on the foundational $3 million federal investment in this first-of-its-kind in the country floating solar project, secured by U.S. Senate Majority Leader Chuck Schumer and Congressman Paul Tonko in March.

Radoslav Ivanov

Assistant Professor

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.

Selected Scholarly Works

Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas and Insup Lee, "Verisig: verifying safety properties of hybrid systems using neural network controllers", 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Montreal, Canada, 2019.

Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas and Insup Lee, "Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller", 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), (virtual) Sydney, Australia, 2020.

Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George Pappas and Insup Lee, "Continuous Estimation Using Context-Dependent Discrete Measurements", IEEE Transactions on Automatic Control (TAC), 2018.

Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic and Insup Lee, "Sensor Attack Detection in the Presence of Transient Faults", 6th International Conference on Cyber-Physical Systems (ICCPS), Seattle, WA, USA, 2015.

Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman and Insup Lee, "Prediction of Critical Pulmonary Shunts in Infants", IEEE Transactions on Control Systems Technology (TCST), 2016.
Gauging the Resilience of Complex Networks

Whether a transformer catches fire in a power grid, a species disappears from an ecosystem, or water floods a city street, many systems can absorb a certain amount of disruption. But how badly does a single failure weaken the network?

Anonymous (not verified) Tue, 01/04/2022 - 00:00