Event Listing

28 FEB 2020
@ 12:00 pm
Seminar
PostDoc Candidate Talk: Wearable Technology for Healthcare and Athletic Performance
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
27 FEB 2020
@ 10:30 am
Seminar
PostDoc Candidate Talk: Sherlock - A Tool For Verification Of Neural Network Feedback Systems
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
26 FEB 2020
@ 11:00 am
Seminar
PRECISE Seminar: Co-Regulation of Cyber and Physical Resources in Controllers for Single- and Multi-Agent Unmanned Aircraft Systems
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
11 FEB 2020
@ 10:30 am
Seminar
PostDoc Candidate Talk: Data-Driven Modeling and Verification for Artificial Pancreas Systems
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
26 NOV 2019
@ 3:00 pm
Seminar
PRECISE Seminar: Creating a Soft and Stretchable Wireless Power System
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
19 NOV 2019
@ 3:00 pm
Seminar
PRECISE Seminar: Reducing Errors in Quantum Computation via Program Transformation
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… Read more
25 OCT 2019
@ 8:00 am
Industry
"Safe AI" Conference - PRECISE Industry Day
Click here to be redirected to the main event page. Read more
07 OCT 2019
@ 11:00 am
Seminar
PRECISE Seminar: Recent Advances in IoT & M2M Security - Trends & Future Directions
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… Read more
03 OCT 2019
@ 12:00 pm
Seminar
PRECISE Seminar: Towards Learning with Brain Efficiency
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… Read more
28 MAR 2019
@ 10:30 am
Seminar
CIS Course #700-002: Topics in Safe Autonomy - "Bridging Consumer & Medical Devices through Secure IoT Platform Technology: Simplifying Life for People with Chronic Diseases"
I will be presenting the key attributes for the design and implementation of an IoT platform that can be used safely for connected medical devices. I will show the implementation of such platform to deliver solutions that simplify life for people with Type 1 Diabetes.  … Read more