Publications and Presentations
Code and Data
I am interested in computational modeling
and analysis of complex biological systems. Currently, I focus on
cardiac arrhythmias, as part CMACS's Atrial Fibrillation (AFib)
challenge. Fig. 1 outlines a high-level workflow for my research.
Fig. 1: Computational modeling and insightful
analysis of cardiac electrical excitation. Reaction-diffusion-type nonlinear
mathematical models of cardiac excitation are converted to computational models
such as hybrid automata. Such computational models are amenable to formal
analysis techniques like MC, AI and parameter estimation. These techniques
are tractable only for relatively smaller, abstract cardiac models. Towers of
abstraction are used to interpret insights obtained from formal analysis of
abstract models in terms of physiological state variables and parameters.