Lu Feng

Assistant Professor
University of Virginia

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 PhD 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 CRII Award, CRCF Eminent Researcher Award, James S. McDonnell Foundation Postdoctoral Fellowship, among others.

A new postdoc position in the area of Medical Cyber-Physical Systems is available at the Link Lab. More details here

I am looking for PhD students with interests and expertise in cyber-physical systems, robotics, formal methods, and machine learning.

Recent News

  • Feb. 2019: I've received a grant from the Assuring Autonomy International Programme to investigate the project “Safe-SCAD: Safety of Shared Control in Autonomous Driving”, together with Dr. Corina Pasareanu (CMU), Dr. Radu Calinescu (York), and Dr. Inki Kim (UIUC).

  • Dec. 2018: Congratulations to my undergraduate student Pengyuan Lu who has been given honorable mention for the CRA Outstanding Undergraduate Researcher Award 2019. Pengyuan has been doing research with me since Fall 2017.

  • Oct. 2018: I am very grateful to Toyota ITC for its generous support of $80,000 unrestricted research fund. I look forward to our collaboration on connected and autonomous vehicles research.

  • Aug. 2018: I've received a $2 million grant from the Office of Naval Research (ONR) on “Joint Perception and Temporal Logic Planning for Distributed Agents in Dynamic Environments”, as part of the ONR program of “Advancing Artificial Intelligence for the Naval Domain”. This is a joint project with Zsolt Kira (Georgia Tech), Pratap Tokekar (Virginia Tech), and Ufuk Topcu (UT Austin).

  • Jul. 2018: I am co-organizing the Verification and Deduction Mentoring Workshop and Workshop on Robots, Morality, and Trust through the Verification Lens at CAV 2018 as part of the Federated Logic Conference (FLoC) in Oxford, UK.

  • Jul. 2018: Our paper “Attack-Resilient Sensor Fusion for Cooperative Adaptive Cruise Control” has been accepted for presentation at the 21st IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2018).

  • Jun. 2018: I've received an Education Innovation Award and a Research Innovation Award from UVa School of Engineering and Applied Science.

  • Jun. 2018: Our paper “Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models” has been accepted for publication in ACM Transactions on Cyber-Physical Systems.

  • Mar. 2018: I've received an NSF CRII Award on Cognitive Trust in Human-Autonomous Vehicle Interactions.

  • Mar. 2018: My research on the safety and trust of driverless cars is featured in UVAToday, see this and this.


  • Office: Olsson Hall, Room 271

  • Phone: 434-982-2388

  • Email: lu.feng at virginia dot edu