Feb 2018: Prof. Shoukry receives the prestigious NSF CAREER Award for his proposal titled “Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems”!
Feb 2018: Prof. Shoukry receives the prestigious NSF CAREER Award for his proposal titled “Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems”!