I am a researcher in the Software Engineering Unit of the Digital Industry center in FBK. My research focusses on model-based design and automatic test generation.

During my PhD at the University of Trento, from 2003 to 2006, I studied programming languages semantics and concurrency theory with application in the domains of systems biology and web semantics. In particular, I worked on the stochastic semantics of process algebras and their quantitative model checking. In 2008, I joined the Microsoft Research - University of Trento Centre for Computational and Systems Biology(COSBI) developing methods for efficient simulation and formal verification of stochastic parallel programs. In 2010, I moved to the Department of Cellular, Computational and Integrative Biology (CIBIO) at the University of Trento. At CIBIO, I developed a method to infer the order in which genetic aberrations emerge in cancer based on a graph representation of tumor evolution.