Lu Feng

Assistant Professor
University of Virginia

Selected Professional Services

Program Committee

  • ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2017-2020

  • ACM-IEEE International Conference on Cyber-Physical Systems (ICCPS), 2017-2020

  • International Conference on Runtime Verification (RV), 2017-2020

  • International Conference on Computer Aided Verification (CAV), 2020

  • International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020

  • International Conference on Quantitative Evaluation of SysTems (QEST), 2019

  • ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019

  • ACM SIGBED International Conference on Embedded Software (EMSOFT), 2017

Journal Reviewer

  • IEEE Design & Test

  • IEEE Robotics and Automation Letters

  • IEEE Transactions on Automatic Control

  • IEEE Transactions on Human-Machine Systems

  • International Journal of Robotics Research

  • Journal of Systems and Software

  • Robotics and Autonomous Systems

  • Transactions on Cyber-Physical Systems

  • Transactions on Software Engineering

  • Transactions on Human Robotics Interaction