Lu Feng

Associate Professor
University of Virginia

Current and Upcoming Courses

CS 6763/SYS 6763: Cyber-Physical Systems: Formal Methods, Safety and Security, Spring 2024

CS 4710: Artificial Intelligence, Fall 2023
CS 6763/SYS 6763: Cyber-Physical Systems: Formal Methods, Safety and Security, Spring 2023
CS 4710: Artificial Intelligence, Fall 2022
CS 6763/SYS 6763: Cyber-Physical Systems: Formal Methods, Safety and Security, Spring 2022
CS 6501/SYS 6582: Cyber-Physical Systems: Formal Methods, Safety and Security, Spring 2021
CS 4710: Artificial Intelligence, Fall 2020
CS 6501/SYS 6582: Cyber-Physical Systems: Formal Methods, Safety and Security, Spring 2020
CS 4710: Artificial Intelligence, Fall 2019
CS 6501/SYS 6582: Formal Methods for CPS and Robots, Spring 2019
CS 4710: Artificial Intelligence, Fall 2018
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