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