Dr Luca Bortolussi is assistant professor in Computer Science at the University of Trieste. He is currently also affiliated with CNR-ISTI in Pisa. He received his PhD in Computer Science from the University of Udine, with a thesis on modelling of biological systems with formal methods tools, in particular stochastic process algebras. Since then, his research focussed on efficient analysis techniques for stochastic process algebra models, ranging from simulation to model-checking, based on mean field and hybrid systems. He recently has won two Best Paper Awards for research of direct relevance to the project (ASMTA 2010, QEST 2011).