Abhishek Murthy - Research Profile




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.