|
ABSTRACT: To provide the best medical guidelines, we are developing a prototype for the COVID-19 best practice guidelines with computational pathophysiology for ARDS (lung failure) and pediatric cardiopulmonary resuscitation. To ensure software safety, we have been using an executable formal model, K, to code the medical algorithms for verifiability. We are also developing a physician-friendly syntax of K. To improve care, we integrate this with the C3 AI Suite and use it to recognize the early signs of clinical deterioration and initiate early intervention. As part of this work, we will perform simulation-based clinical evaluations at hospitals. The talk will include a short video demonstration of the prototype. This is joint work with Grigore Rosu, Zikun Chen, Shuang Song, Priti Jeni, M.D., and Paul M. Jeziorczak, M.D. Lui Sha graduated with a Ph.D. from CMU in 1985 and joined the UIUC faculty in 1998 as a full professor. He is now Donald B. Gillies Chair Professor of Computer Science and Daniel C. Drucker Eminent Faculty at the College of Engineering. A fellow of IEEE and ACM, Sha served on the National Academy of Sciences Committee on Certifiably Dependable Software Systems and the NASA Advisory Council. His work on real-time and safety-critical system integration has contributed to many technology programs, including GPS, Space Station, and Mars Pathfinder. In recent years, his team has been developing medical GPS systems to dramatically reduce preventable medical errors, which claim 250,000 lives per year -- the third leading cause of deaths in the U.S.
|
