Seminars

Speaker
Photo of Taisa Sima Kushner
Taisa Sima Kushner
PostDoc Candidate Talk: Data-Driven Modeling and Verification for Artificial Pancreas Systems
February 11, 2020

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 one-sided control problem, able to dose insulin to decrease blood glucose levels, but unable to counteract the effects of too high a dose. Additionally, safety is critical: too high a dose leading to long-term organ damage, coma, and potentially death to an individual. Thus, the need to test and formally guarantee the…

Speaker
Profile photo of Nathan Lazarus
Nathan Lazarus, Ph.D.
PRECISE Seminar: Creating a Soft and Stretchable Wireless Power System
November 26, 2019

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 transfer of power and data signals, with physical wiring easily pulled out or damaged.  In my talk, I will be discussing all aspects of creating inductors and power circuits for wireless power transfer to stretchable systems.  I will focus on the use of room temperature liquid metals and stretchable magnetic materials to…

Speaker
Photo of Moinuddin Qureshi
Moinuddin Qureshi, Ph.D.
PRECISE Seminar: Reducing Errors in Quantum Computation via Program Transformation
November 19, 2019

Quantum computing promises exponential speedups for an important class of problems. While quantum computers with few dozens of qubits have been demonstrated, these machines suffer from high rate of gate errors. Such machines are operated in the Noisy Intermediate Scale Quantum (NISQ) mode of computing where the output of the machine can be erroneous. In this talk, I will discuss some of our recent work that aims to improve the reliability of NISQ computers by developing software techniques to mitigate the hardware errors. Our first work (ASPLOS 2019) exploits the variability in the error…

Speaker
Photo of Rajeev Shorey
Rajeev Shorey, Ph.D.
PRECISE Seminar: Recent Advances in IoT & M2M Security - Trends & Future Directions
October 7, 2019

With an exponential growth of IoT and M2M devices, enabling security is one of the single biggest challenge in these systems. Due to the complex and light-weight nature of these distributed networks, there are a large number of attack vectors that need mitigation.

In this talk, we look at recent advances in IoT and M2M systems from the point of view of cyber security. We present the challenges in securing complex systems such as the Industrial IoT networks and emphasize the importance of new metrics such as 'Trustworthiness'.…

Speaker
Photo of Mohsen Imani
Mohsen Imani
PRECISE Seminar: Towards Learning with Brain Efficiency
October 3, 2019

Modern computing systems are plagued with significant issues in efficiently performing learning tasks. In this talk, I will present a new brain-inspired computing architecture. It supports a wide range of learning tasks while offering higher system efficiency than the other existing platforms. I will first focus on HyperDimensional (HD) computing, an alternative method of computation which exploits key principles of brain functionality: (i) robustness to noise/error and (ii) intertwined memory and logic. To this end, we design a new learning algorithm resilient to hardware failure. We then…