Event Listing

With the release of ChatGPT last November, it has sparked a global interest in this new technology and Generative AI as a whole. In this talk, I will provide a briefing of the foundational technology behind Generative AI. More importantly, from industry perspective, I will… Read more

The goal of autonomous driving systems (ADS) research is to give safer and economical mobility options. However, the operational design domains (ODD) of state-of-the-art ADS constraints the deployment under sunny to cloudy conditions. The weather phenomena impair the… Read more

Neuromorphic computers are emerging computing systems that operate on the principles of the central nervous system. They implement neurons and synapses in hardware, supporting biology-inspired synaptic… Read more

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