Seminar by Partha Roop, Univ. of Auckland, 21 Oct 2024, N4-02A-35

Title: Human physiology viewed as a synchronous program

Sub title: Towards human on a chip

Abstract: Human physiology is extremely complex and organs operate in tandem exhibiting parallelism and synchronisation at multiple levels, i.e. from cells to organs. The inherent concurrency and communication is both complex and time sensitive. Existing approaches are mainly developed for simulation and hence don't support real-time operation. We propose to adopt the well known synchronous approach, which is widely used in many safety critical systems including aviation, to model human physiology.

We show that the developed approach can faithfully model human organs, such as the heart and the gut, with high fidelity. We especially illustrate the approach using the design of a heart on a chip, which can be used for closed-loop validation of pacemakers, instead of using live organs.

Biography: Partha Roop's research interests are mainly founded on formal methods, especially focusing on applications in cyber physical systems such as medical devices, autonomous cars and digital health applications.

He has a PhD from UNSW, M. Tech from IIT Kharagpur and BE from College of Engineering, Guindy.

Partha is a Professor of Computer Systems Engineering at the University of Auckland and is also the Associate Dean International for the Faculty of Engineering.