Photo of David Huang
David Huang, M.D., Ph.D.
PRECISE Seminar: [TBD]
January 22, 2024


Photo of Yatin Manerkar
Yatin Manerkar, Ph.D.
PRECISE Seminar: Formal Methods for Computer Architecture - Reducing the Barriers to Entry
December 8, 2023

Formal methods can provide strong correctness guarantees for today's computing systems, but their usage is often restricted to formal methods experts. Formal verification is then bottlenecked on these experts, limiting its effectiveness. This problem is acute in computer architecture, since many architects do not have formal methods expertise.

In this talk, I will present recent work with my students and collaborators that reduces the barriers to entry for computer architects to use formal methods. First, I will discuss our work on automatically generating formal…

Photo of Kevin Fu
Kevin Fu, Ph.D.
PRECISE Seminar: Protecting Health Care & Cyberphysical Systems - Wicked Bizarre Semiconductor Physics of Sensor Security
December 1, 2023

Medical devices, healthcare delivery, and other cyber-physical systems depend on sensors to make safety-critical, automated decisions. My research lab investigates the problem of how to protect cyber-physical systems from adversaries who can maliciously control sensor output by subverting its semiconductor physics. Finding principled, systematic solutions is extremely important to give consumers confidence in innovative medical devices and other emerging technology. Unique to our embedded security research contributions is an emphasis on protecting the longevity of implanted batteries and…

Photo of Michael Chiang
Michael F. Chiang, M.D.
PRECISE Seminar: What can we learn about AI and data science from the vision field?
November 17, 2023

Remarkable advances in imaging, computation, and technology are rapidly moving us into an era where biomedical knowledge discovery is increasingly limited only by creativity. This has resulted in unprecedented opportunities to improve the diagnosis and treatment of disease. The vision field has been at the forefront of these advances in AI for healthcare because of the easy accessibility of images and clinical data.

Photo of Omer Inan
Omer Inan, Ph.D.
PRECISE Seminar: Wearable Acoustic and Vibration Sensing and Machine Learning for Human Health and Performance
November 13, 2023

Recent advances in digital health technologies are enabling biomedical researchers to reframe health optimization and disease treatment in a patient-specific, personalized manner. This talk will focus on my group’s research in two areas of relevance to digital health: (1) cardiogenic vibration sensing and analytics; and (2) musculoskeletal sensing with joint acoustic emissions and bioimpedance. Our group has extensively studied the timings and characteristics of cardiogenic vibration signals such as the ballistocardiogram and seismocardiogram, and applied these…