Abhishek Murthy
Dept. logo
Email: amurthy [at] cs [dot] sunysb [dot] edu
 

CV

Research profile

Publications & Presentations

Academics

Code and Data

NSF CMACS

 

 

 

 

 



Welcome

I am a fourth year PhD student in the computer science department's formal analysis and verification group, here at Stony Brook University.

I am interested in

  • computational modeling,
  • formal analysis, and
  • control
of nonlinear systems, especially biological systems.

My advisors are Prof. Radu Grosu and Prof. Scott A. Smolka. We have been working on the Atrial Fibrillation (AFib) challenge of the NSF-sponsored project on Computational Modeling and Analysis of Complex Systems (CMACS).



View Abhishek Murthy's profile on LinkedIn

Abhishek Murthy