I am a Postdoc working with Dr. Tyson (at the Biological Science Dept.) and Dr. Shaffer (at the Computer Science Dept.) on models of budding yeast cell cycle. My research work involves developing algorithms and software tools to support the design and simulation of models describing this specific organism and as well as other models with similar characteristics.

I obtained my PhD (2010) in Computational Systems Biology at CoSBi (Centre for Computational and Systems Biology - University of Trento, Italy).  In my PhD thesis - "Modelling and Inference strategies for Biological Systems"- I developed and analyzed models of cell-cycle regulation in a stochastic framework.

I attended the Faculty of Science at University of Trento, where I obtained a Bachelor's degree (2005) and a Master's degree (2007) in Computer Science. My Master thesis - "Formal models of examples of biological synthesis and signal transduction pathways" - focused on building models of real biological systems using process-algebra formalisms. In 2004 I worked at ITC-irst (Center for Scientific and Technological Research) of Trento. The main goal of my work was the analysis of service-oriented architectures for the development of software able to manage the automation of domotic devices.