​B.Eng. in Information Engineering, Beijing University of Posts and Telecommunications, 2007​M.Phil. in Computer Speech, Text and Internet Technology, University of Cambridge, 2008​D.Phil. in Computer Science, University of Oxford, 2014Post-Doc ​PRECISE Center, University of Pennsylvania, 2013-2016

"My research helps to design safe, secure, and reliable cyber-physical systems, such as medical devices, autonomous robots, and smart cities."

Lu Feng, Assistant Professor

Lu Feng is an Assistant Professor at the Department of Computer Science and Department of Systems and Information Engineering at the University of Virginia. She is also a member of the Link Lab. Previously, she was a postdoctoral fellow at the University of Pennsylvania. She received her PhD in Computer Science from the University of Oxford. She also holds 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. Her research focuses on assuring the safety, security and reliability of cyber-physical systems (CPS). She develop modeling and analysis methods for CPS, drawing on formal methods, machine learning, optimal control, and human factors. She also work across many different application domains, from medical devices, to autonomous robots, to smart cities. She is a recipient of the James S. McDonnell Foundation Postdoctoral Fellowship, UK Engineering and Physical Sciences Research Council (EPSRC) Graduate Scholarship, and Cambridge Trust Scholarship.

Research Interests

  • Cyber-Physical Systems
  • Autonomous Robots
  • Formal Methods

Selected Publications

  • Human-interpretable diagnostic information for robotic planning systems. In Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International Conference on(pp. 1673-1680). IEEE. Feng, L., Humphrey, L., Lee, I. and Topcu, U., 2016, October.
  • Synthesis of human-in-the-loop control protocols for autonomous systems. IEEE Transactions on Automation Science and Engineering, 13(2), pp.450-462. Feng, L., Wiltsche, C., Humphrey, L. and Topcu, U., 2016.
  • Controller synthesis for autonomous systems interacting with human operators. In Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems (pp. 70-79). ACM. Feng, L., Wiltsche, C., Humphrey, L. and Topcu, U., 2015, April.
  • A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. In Healthcare Informatics (ICHI), 2015 International Conference on (pp. 213-222). IEEE. Chen, S., Feng, L., Rickels, M.R., Peleckis, A., Sokolsky, O. and Lee, I., 2015, October.
  • Platform-specific code generation from platform-independent timed models. In Real-Time Systems Symposium, 2015 IEEE (pp. 75-86). IEEE. Kim, B., Feng, L., Sokolsky, O. and Lee, I., 2015, December.
  • Towards assurance for plug & play medical systems. In International Conference on Computer Safety, Reliability, and Security (pp. 228-242). Springer International Publishing. King, A.L., Feng, L., Procter, S., Chen, S., Sokolsky, O., Hatcliff, J. and Lee, I., 2015, September.
  • Automated learning of probabilistic assumptions for compositional reasoning. In International Conference on Fundamental Approaches to Software Engineering (pp. 2-17). Springer Berlin Heidelberg. Feng, L., Kwiatkowska, M. and Parker, D., 2011, March.
  • Compositional verification of probabilistic systems using learning. In Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the (pp. 133-142). IEEE. Feng, L., Kwiatkowska, M. and Parker, D., 2010, September.