Workshop Schedule


Time Event Location
8:30 - 9:00 Breakfast/Coffee Link Lab
9:00 - 9:40

Welcome and Introductions

  • Jack Stankovic (UVA)
  • UVA Engineering Dean Jennifer West (UVA)
  • Jon Goodall (UVA)
  • Wanli Chang (SIGBED Officer)
Link Lab
9:40 - 10:10 Keynote: David Corman (NSF) Link Lab
Break Link Lab
10:30 - 11:30 Panel: Academic Job Search Process Link Lab
11:30 - 12:30 Poster Session 1 Link Lab
12:30 - 1:30 Lunch Link Lab
1:30 - 2:30 Panel: Obtaining Research Grants Link Lab
2:30 - 3:30 Poster Session 2 Link Lab
3:30 - 4:30 Panel: Establishing Research Group and Collaborations Link Lab
4:30 - 5:30 Social Hour Link Lab
6:00 - 8:00 Dinner Colonnade Club

Poster Session 1

Poster Number Participant Research Topic
1 Alexandra Nilles Fast, Cheap and More Robust: Formalizing Scalable Robot Collective Design
2 Chandreyee Bhowmick Adaptive Learning from Peers in Distributed Actor-Critic Algorithms
3 Enrico Casella Machine-Learning-Powered Cyber-Physical Systems
4 Fangqi Liu Enhancing IoT Applications and CPS Using Mobility
5 George Gunter Experimental testing and comparison of control barrier functions for safe control of automated vehicles
6 Guanrui Li Aerial Robots Cooperative Manipulation with Humans
7 Haofan Cai Towards RFID-based Cyber-Physical Connection Systems
8 Henrique Carlos Oyama Cyberattack Resilient Optimization-Based Control Design for Process Safety, Cybersecurity, and Efficiency
9 Jared Coleman Problem Solving with Systems of Constrained Mobile Agents
10 Kristina Miller Formal Synthesis for Safe Cyber-Physical Systems with Applications in Space Autonomy
11 Kruttidipta Samal Controllable Perception for Safe and Efficient Autonomous Systems
12 Lili Wang Distributed Algorithms for Multi-Agent systems: Estimation, Control, and learning
13 Luis Burbano Formal analysis of Cyber-physical systems' security
14 Mehmet Fatih Ozkan Human-Centric Autonomy in Mixed Traffic
15 Mengxue Hou Assured Abstraction for Robotic Hierarchical Planning
16 Mst Moriom Rojy Momota CPS Interfacing Using Inkjet Printed Electronics and Implementation of Data Reliability Metric for Trustable Smart Healthcare

Poster Session 2

Poster Number Participant Research Topic
17 Mulong Luo Exploiting and Taming Timing Variabilities in Cyber-Physical Systems Hardware
18 Nurani Saoda Sustainable Internet-of-Things with Batteryless Energy-harvesting Sensors
19 Qi Li AI-powered Cyber-physical Energy Systems
20 Ramneet Kaur Towards Trustworthy Open-World Learning in High-Assurance Systems
21 Sachini Piyoni Ekanayake Datum-wise Learning and Inference in Cyber-Physical-Human Systems
22 Siddharth Ancha Active, Robust and Adaptive Robot Perception
23 Wei-Chiu Ma Learning 3D Modeling and Simulation From and For the Real World
24 Wenqi Cui Structured Learning and Control for Energy Systems: Stability, Steady-State Optimality and Generalization Guarantees
25 Xiaofan Yu Intelligence beyond the Edge in IoT
26 Xin Qin A data-driven framework for verification of learning-enabled cyber-physical systems
27 Xiyuan Zhang Robust and Efficient Machine Learning for IoT Devices
28 Xugui Zhou Context-aware Assurance in Cyber-Physical Systems
29 Yanbing Wang Enhancing Traffic Corridor Management with Data-Driven Control and Connected Automated Vehicles
30 Ying Chen Robust User and Environment-Adaptive Virtual and Augmented Reality Systems
31 Zahra Ghorbani Cyber-Physical Systems and Digital Twins for Capital Facilities' Operations
32 Zhichen Liu End-to-End Transportation Network Analysis, Planning, and Operation