Lu Feng

Associate Professor
University of Virginia

Journal Editorial Board

Associate Editor, ACM Transactions on Cyber-Physical Systems, 2023-2026

Conference & Workshop Organization

General Co-Chair, ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2024.
General Co-Chair, CPS Rising Stars Workshop 2024.
Program Co-Chair, ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2023.
Program Co-Chair, CPS Rising Stars Workshop 2023.
Co-Chair, AAAI-23 Bridge: AI and Law.
Program Co-Chair, CPS Rising Stars Workshop 2022.
Program Co-Chair, IFAC Workshop on Cyber-Physical & Human Systems (CPHS) 2022.
Program Co-Chair, International Conference on Runtime Verification (RV) 2021.
Publication Chair, ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2021.
Co-Chair, Medical Cyber Physical Systems and Internet of Medical Things Workshop as part the CPS-IoT Week 2021.
Co-Chair, Medical Cyber Physical Systems in Internet of Things Workshop 2019 as part the IEEE/ACM Conference on Connected Health.
Co-Chair, Verification and Deduction Mentoring Workshop at CAV 2018 and FLoC 2018.
Co-Chair, Workshop on Robots, Morality, and Trust through the Verification Lens at CAV 2018 and and FLoC 2018.
Organizer, CAV Women's Lunch at CAV 2018.
Co-Chair, International Workshop on Medical Cyber-Physical Systems as part the CPS Week 2018.
Organizer, Women Mentoring Meeting at the CPS Week 2015.

Program Committee

AAAI Conference on Artificial Intelligence (AAAI), 2023-2024
ACM-IEEE International Conference on Cyber-Physical Systems (ICCPS), 2017-2023
International Conference on Runtime Verification (RV), 2017-2024
ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2017-2020, 2024
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
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