Lu Feng

Associate Professor
University of Virginia

Conference & Workshop Organization

Program Committee

  • AAAI Conference on Artificial Intelligence (AAAI), 2023-2024

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

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

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

  • NASA Formal Methods Symposium (NFM), 2022

  • National Science Foundation (NSF) Cyber-Physical Systems Principal Investigators Meeting, 2021

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

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

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

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

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

Journal Reviewer

  • ACM Transactions on Cyber-Physical Systems

  • ACM Transactions on Embedded Computing Systems

  • ACM Transactions on Human Robot Interaction

  • ACM Transactions on Software Engineering

  • IEEE Design & Test

  • IEEE Robotics and Automation Letters

  • IEEE Transactions on Automatic Control

  • IEEE Transactions on Human-Machine Systems

  • International Journal of Robotics Research

  • Neural Computing and Applications

  • Journal of Systems and Software

  • Robotics and Autonomous Systems