Event Listing

Machine learning on tiny IoT devices based on microcontroller units (MCU) is appealing but challenging: the memory of microcontrollers is 2-3 orders of magnitude smaller even than mobile phones. I’ll present the … Read more

Uncrewed aerial vehicles (UAVs), or drones, are increasingly being used to deliver goods from vendors to customers. To safely conduct these operations at scale, drones are required to broadcast position information as codified in remote identification (remote ID) regulations… Read more

Machine learning models are increasingly being incorporated into real-world systems, targeting domains such as robotics, healthcare, and software systems. A key challenge is ensuring that such systems are trustworthy. I will describe two strategies for verifying correctness… Read more

While conventional reinforcement learning focuses on designing agents that can perform one task, meta-learning aims, instead, to solve the problem of designing agents that can generalize to different tasks (e.g., environments, obstacles, and goals) that were not considered… Read more

Sensing and actuation systems are entrusted with increasing intelligence to perceive the environment and react to it. Their reliability often relies on the trustworthiness of sensors. As process automation and robotics keep evolving, sensing methods such as… Read more

Traditionally, in healthcare, records are kept with pencil and paper. Now we have healthcare IT, and with the introduction of wearable technology, we can automatically record health data in clinical settings and at a patient’s home. In sport, wearable devices are removing the… Read more

Neural networks have become ubiquitous when it comes to learning enabled cyber-physical systems, like autonomous cars and closed loop medical devices.  Such safety critical applications, lead to a compelling use case for formal verification approaches.  In this talk I will be… Read more

Onboard resources continue to be stretched to maximize performance while accommodating more advanced algorithms. Computation, communication, and control resources must be carefully allocated to achieve mission objectives. Traditionally, this allocation is fixed and designed… Read more

Artificial Pancreas (AP) systems refer to a set of increasingly closed-loop biomedical devices which seek to automate blood glucose regulation in individuals with type-1 diabetes mellitus (T1DM). While incredibly promising for the treatment of T1DM, these systems present a… Read more

Soft biomaterials such as human skin have very different mechanical properties from conventional electronics, requiring unusual materials and geometries to match the behavior of the skin.  One of the biggest challenges in stretchable electronics is the… Read more