Highlighted Active Services:
Associated Editor, ACM Transactions on Computing for Healthcare, 2024 - Now.
Diversity, Equity and Inclusion Director, ACM SIGBED, 2024 - Now.
Faculty Advisor, Women in Computing Vanderbilt University ACM-W Student Chapter, 2021-Now
Technical Program Committee
The 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2025.
Association for the Advancement of Artificial Intelligence (AAAI), 2025.
ACM Conference on Embedded Networked Sensor Systems (Sensys), 2024.
ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), 2024.
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2024.
Association for the Advancement of Artificial Intelligence (AAAI), 2024.
ACM SIGBED International Conference on Embedded Software (EMSOFT), 2023.
ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), 2023.
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023.
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2023.
IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), 2023.
ACM SIGBED International Conference on Embedded Software (EMSOFT) work-in-progress, 2022.
ACM International Conference on Future Energy Systems (e-Energy) Poster, 2022.
ACM International Conference on Hybrid Systems: Computation and Control (HSCC) Demo and Poster, 2022.
The International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation (BuildSys), 2022.
Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2021.
The International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation (BuildSys) Demo and Poster, 2021.
Conference, Journal & Workshop Organization
Diversity, Equity and Inclusion Director, ACM SIGBED, 2024 - Now.
Chair, Future Technologies for Emergency Response and Public Safety, 2024.
Associated Editor, ACM Transactions on Computing for Healthcare, 2024 - Now.
Special Session Chair, ACM The IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), 2024.
Tutorial Co-Chairs, IEEE International Conference on Smart Computing (Smartcomp), 2024.
Student Travel Award Chair, Cyber-Physical Systems and Internet-of-Things Week, 2023.
Local Chair, IEEE International Conference on Smart Computing (Smartcomp), 2023.
Financial Chair, IEEE International Conference on Smart Computing (Smartcomp), 2023.
Demo, Poster and Work-in-Progress Chair, ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2023.
Information Director, ACM Transactions on Computing for Healthcare, 2018-Now.
Demo and Poster Chair, ACM The IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), 2022.
Web and Publicity Chair, 6th Workshop on the Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2020.
Department Representative, GradSWE (Society of Women Engineers), University of Virginia, 2019-2020.
Chair, Leadership and Student Success CS Graduate Student Council, University of Virginia, 2019-2020.
Publicity Chair, ACM Workshop on the Internet of Safe Things, 2018, 2019.
International Graduate TA Panel, Center for Teaching Excellence and the Center for American English Language and Culture, University of Virginia, 2016-2019.
Local Chair, International Workshop on Next-Generation Cyber-Physical Systems, 2018.
Invited Grant Review Panels
NSF Panel, 2024.
NSF Panel, 2023.
FY2022 Open Data Framework (ODF) program, United States Department of Agriculture (USDA), 2022.
Icelandic Research Fund Application, 2021.
University Services
Committee Member, Chen's Best Paper Award, 2023, 2024
Faculty Advisor, Women in Computing Vanderbilt University ACM-W Student Chapter, 2021-Now
Faculty Leader, Metro/Vanderbilt Collaboration- Public Safety, 2022
Faculty Leader, Connected Nashville's Intelligent Ecosystem Collaborative, 2022
Conference & Journal Reviewer
Reviewed 100+ papers for journals and conferences in areas of Formal Method, Machine Learning,Cyber-Physical System, and Healthcare:
ACM Transaction on Cyber-Physical Systems
ACM Transaction on Computing for Healthcare
ACM Transactions on Software Engineering
ACM Transactions on Internet Technology
Elsevier Ad Hoc Networks
Springer GeoJournal
Springer Autonomous Robots (AURO)
Springer's International Journal on Software Tools for Technology Transfer
Smart Health Journal
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
Runtime Verification (RV) Conference
International Conference on Quantitative Evaluation of SysTems (QEST)
ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Conference on Robot Learning (CoRL)
