Technical Program Committee

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

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.

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

FY2022 Open Data Framework (ODF) program, United States Department of Agriculture (USDA), 2022.

Icelandic Research Fund Application, 2021.

University Services

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 TransacJons on Internet Technology

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)

ACM/IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)