ECE Assistant Professor Jie Fu has received a $550K NSF CAREER Award in support of her project Formal “Synthesis of Provably Correct Cyber-Physical Defense with Asymmetric Information.”