For Summer 2024, Ivan Ruchkin will join the Visiting Faculty Research Program (VFRP) at the Air Force Research Laboratory (AFRL) Information Directorate (RI) in Rome, NY. The program is organized by the Griffis Institute.
Ivan will work on advancing safety verification for high-dimensional controllers. He will also participate in the cyber assurance group’s efforts on testing and assurance for learning-enabled systems.