Menù

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

News about me !!

Nov. 2011 - Post Doc of the Month (Interview)


Sep. 2011 - Best Paper Award (RV 2011)


July 2011 - From chaos to cures (Cornell University)


Jan. 2011 - CMACS Researchers Perform First Automated Formal Analysis of Realistic Cardiac Cell Model


UNICAM news:

Random Picture

Last papers                             

Toward real-time simulation of cardiac dynamics


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: Timed Operational Semantics and Well-formedness


Shape Calculus: Timed Operational Semantics and Well-formedness


Shape Calculus. A Spatial Mobile Calculus for 3D Shapes


Timed Operational Semantics and Well-Formedness of Shape Calculus


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
Assistant Professor


Department of Computer Engineering
TU Wien, Vienna University of Technology


In Brief:

I am currently Assistant Professor (from April 2012) at the Department of Computer Engineering, Dependable Systems Group at the Vienna University of Technology.
Previously I was a post-doctoral researcher at the Department of Computer Science (Research Scientist - from March 2011) and at the Department of Applied Math and Statistics (Research Associate - from February 2010) 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: Faculty of informatics, Vienna University of Technology, Treitlstrasse 3, 1040 Vienna, Austria

Phone: (+43)(1) 58801 - 18211

Fax: (+43) (1) 58801 - 18299

E-mail: ezio (dot) bartocci (at) tuwien (dot) ac (dot) at




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'