Menù

Home
Curriculum
Publications
Research interests
Talks
Stages/Thesis
Developed Software
Photo gallery

Random Picture

Last papers                             

Runtime Verification with State Estimation


Toward Realtime Simulation of Cardiac Dynamics


From Cardiac Cells to Genetic Regulatory Networks


Modeling the cell cycle: From deterministic models to hybrid systems


Model Repair for Probabilistic Systems


Curvature Analysis of Cardiac Excitation Wavefronts


Shape Calculus. A Spatial Mobile Calculus for 3D Shapes


Timed Operational Semantics and Well-Formedness of Shape Calculus


Shape Calculus: Timed Operational Semantics and Well-formedness


Detecting synchronisation of biological oscillators by model checking


A Resourceome for the Automation of In-silico Biological Experiments


Random Poster

Links


PhD Stuff

ADI - Italian PhD Association
Fullbright scolarships
Marie Curie Fellowship Association


My University

SUNY in Stony Brook
Applied Math and Statistics
Computer Science


My Current Research Projects

CMACS
CMACS (AFIB)
Survaivable Software

Old Projects

Resourceome
Oncology Over Internet
Litbio Project
Litbio CoSy Group
BioAgent Project
Hermes Project

Counter and browser compatibility



Get Firefox!


Get Thunderbird!


Valid XHTML 1.0 Transitional


"..fatti non foste a viver come bruti
ma per seguir virtute e canoscenza..."

(Dante Alighieri, Divina Commedia, Inferno canto XXVI, 119-120)

Ezio Bartocci, PhD
Postdoctoral Research Scientist


Department of Applied Math and Statistics
University of Stony Brook


In Brief:

I am currently a post-doctoral researcher at the Department of Applied Math and Statistics of the State University of New York at Stony Brook, working with Prof. James Glimm, Prof. Radu Grosu and Prof. Scott. A. Smolka. My current research area, in the framework of the NSF Expeditions in Computing project CMACS, is Computational Modelling and Analysis of Cardiac Dynamics for Prediction and Control of Cardiac Arrhythmia.
I received the B.S. degree in Computer Science and the M.S. degree in Bioinformatics from the University of Camerino in Italy, in 2002 and 2005, respectively. In 2009 I got a Ph.D. in Complex Systems and Information Sciences from the University of Camerino, under the supervision of Prof. Flavio Corradini, Prof. Radu Grosu and Prof. Scott A. Smolka.

Contact:

Address: Math Tower, Office A-149,

Phone: (+1) 631 632 8370

E-mail: eziobart (at) ams (dot) sunysb (dot) edu




Current Professional Activities:




Projects in which I'm involved and I was involved:


O2I Portal




Incoming event:




This site is powered by:

Powered byPivot - 1.30 beta 2: 'Rippersnapper'