Lu Feng

I am an Assistant Professor at the Department of Computer Science and the Department of Engineering Systems and Environment at the University of Virginia (UVa). I am also a member of the Link Lab - the center of research excellence in Cyber-Physical Systems at UVa. Previously, I was a postdoctoral fellow at the University of Pennsylvania. I hold a D.Phil. in Computer Science from the University of Oxford, a M.Phil. in Computer Speech, Text and Internet Technology from the University of Cambridge, and a B.Eng. in Information Engineering from the Beijing University of Posts and Telecommunications.

My research focuses on assuring the safety and trustworthiness of cyber-physical systems (CPS). I develop modeling and analysis methods for CPS, drawing on formal methods, machine learning, control theory, and human factors. I also work across many different application domains, from autonomous robots, to smart cities, to medical systems. I have been fortunate to receive a couple of awards for my work, including NSF CAREER Award, NSF CRII Award, among others.

Recent News

• Apr. 2022: Our paper “Toward Policy Explanations for Multi-Agent Reinforcement Learning” has been accepted for long oral presentation (acceptance rate 3.75%) at IJCAI-ECAI 2022 (the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence).

• Jan. 2022: Our paper “Multi-Objective Controller Synthesis with Uncertain Human Preferences” has been accepted for publication at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2022.

• Oct. 2021: Our paper “Toward Formal Methods for Smart Cities” has been published as a cover feature in the September 2021 issue of the IEEE Computer magazine.

• Sep. 2021: I've received a NSF grant on Collaborative Research: DASS: Accountable Software Systems for Safety-Critical Applications. This is a collaborative project with Professor Bryan H. Choi at the Ohio State Moritz College of Law.

• Jul. 2021: Congratulations to my PhD student Meiyi Ma on passing her PhD defense! Meiyi will join Vanderbilt University as an Assistant Professor in August 2021.

• Jul. 2021: Our paper “Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems” has been accepted for publication at the International Conference on Embedded Software (EMSOFT) 2021.

• Jun. 2021: I've received an AFOSR grant on “Automatically Inferring Human Machine Interaction Properties and Predicting and Adapting to their Violation” with Professors Sebastian Elbaum and Matt Dewyer.

Contact

• Office: Olsson Hall, Room 271

• Phone: 434-982-2388

• Email: lu.feng at virginia dot edu