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


Teaching:



    A.A. 2009/2010

  1. Project Distributed Calculus and Coordination, I° year, I° semester - Master's degree in Computer Science (Class LM-18),
    Faculty of Science and Technology, University of Camerino
  2. LABORATORIO DI ALGORITMI E STRUTTURE DATI, II° year, I° semester - Bachelor's degree in Computer Science (Class 31),
    Faculty of Science and Technology, University of Camerino


  3. A.A. 2008/2009

  4. LABORATORIO DI ALGORITMI E STRUTTURE DATI, II° year, I° semester - Bachelor's degree in Computer Science (Class 26),
    Faculty of Science and Technology, University of Camerino


  5. A.A. 2007/2008

  6. LABORATORIO DI ALGORITMI E STRUTTURE DATI, II° year, I° semester - Bachelor's degree in Computer Science (Class 26),
    Faculty of Science and Technology, University of Camerino


A.A. 2006/2007

  1. LABORATORIO DI ALGORITMI E STRUTTURE DATI, II° year, I° semester - Bachelor's degree in Computer Science (Class 26),
    Faculty of Science and Technology, University of Camerino

A.A. 2005/2006

  1. FONDAMENTI DI INFORMATICA 1, I° year, III° period - Bachelor's degree in Biothecnology (Class 1),
    Faculty of Science and Technology, University of Camerino