Ruchkin Receives NSF CAREER Award To Make Cyber-Physical Systems Aware of Their Limitations
UF researcher Ivan Ruchkin has received NSF CAREER Award to improve the safety of cyber-physical systems by developing methods to explicitly discover, validate, and manage the underlying assumptions that drive their behavior.