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. For example, my research on the safety and trust of driverless cars is featured in here and here.

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.

I am looking to hire a postdoc researcher with expertise in Cyber-Physical Systems, Control, Machine Learning and/or Artificial Intelligence. Application Link

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

Recent News

  • Aug. 2019: I'm serving on the program committees of ICCPS 2020, HSCC 2020, CAV 2020. Please consider to submit your best work to these conferences!

  • Aug. 2019: I'm co-chairing Medical Cyber Physical Systems in Internet of Things Workshop 2019 as part the IEEE/ACM Conference on Connected Health, which will be held on Sep 25-27 in Washington DC. Welcome to join our discussion!

  • Jun. 2019: Our paper “A Case Study of Trust on Autonomous Driving” has been accepted for publication at the 22nd IEEE Intelligent Transportation Systems Conference.

  • Jun. 2019: Our paper “A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors” has been accepted for publication at the 17th International Conference on Computational Methods in Systems Biology.

  • 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).


  • Office: Olsson Hall, Room 271

  • Phone: 434-982-2388

  • Email: lu.feng at virginia dot edu