Lu Feng
Associate Professor
University of Virginia
University of Virginia
Current and Upcoming Courses
CS 6763/SYS 6763: Cyber-Physical Systems: Formal Methods, Safety and Security, Spring 2025
Past Courses
CS 6763/SYS 6763: Cyber-Physical Systems: Formal Methods, Safety and Security, Spring 2020-2024
CS 4710: Artificial Intelligence, Fall 2018-2023
CS 6501/SYS 6582: Formal Methods for CPS and Robots, Spring 2019
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