Assistant Professor Lu Feng received the CAREER Award for her project "CAREER: Formal Methods for Human-Cyber-Physical Systems".Congratulations to Computer Science Assistant Professor Lu Feng on receiving the National Science Foundation's CAREER award. The CAREER program is highly selective. The award was given for her project "CAREER: Formal Methods for Human-Cyber-Physical-Systems".