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
of nonlinear systems, especially biological systems.
- computational modeling,
- formal analysis, and
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
Modeling and Analysis of Complex Systems (CMACS).