Write a Blog >>
Mon 14 - Fri 18 November 2022 Singapore

Registered user since Mon 9 Aug 2021

Name:Davide Prandi

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.

Affiliation:Fondazione Bruno Kessler


A-TEST 2022 An Agent-based Approach to Automated Game Testing: an Experience Report
Show activities from other conferences

ESEC/FSE 2022-profile
View general profile