Lu Feng

Assistant Professor
University of Virginia

Current and Upcoming Courses

  • CS 6501: Formal Methods for CPS and Robots, Spring 2019

  • CS 4710: Artificial Intelligence, Fall 2018

Past Courses

  • CS 6501/SYS 6582: Human-CPS Interactions, Spring 2018

  • CS 4501/6501: Cyber-Physical Systems, Fall 2017

  • CS 6501/SYS 6582: Safety and Security in Cyber-Physical Systems, Spring 2017