Luca Bortolussi


Associate Professor of Computer Science

Department of Mathematics and Geosciences


 

 

Short Bio

Since November 2015, I am Associate Professor of Computer Science at the Department of Mathematics and Geosciences of the University of Trieste, Italy. I am also guest professor of modelling and simulation at the department of Computer Science of the University of Saarland in Saarbruecken, Germany, where I worked from June 2014 to May 2015. Check this page for more details. Before that, I was  assistant professor (Ricercatore) of Computer Science at the Department of Mathematics and Geosciences of the University of Trieste, Italy. I graduated in Mathematics at the University of Trieste in 2003 and got a PhD in Computer Science form the University of Udine in 2007. I have been an honorary fellow of the School of Informatics of the University of Edinburgh,  where I spent a sabbatical year in 2012. From 2012 to 2017 I was also associate researcher at ISTI-CNR in Pisa.

Download my full Curriculum Vitae

Recent publications

Bortolussi, L., "Hybrid behaviour of Markov population models", Information and Computation, pp. -, In Press.  (3.14 MB)
 
Bortolussi, L., D. Milios, and G. Sanguinetti, "Smoothed model checking for uncertain Continuous-Time Markov Chains", Information and Computation, pp. -, In Press.  (519.48 KB)
 
Bortolussi, L., T. Krüger, and V. Wolf, "Rule-Based Modelling and Simulation of Drug-Administration Policies", Modeling and Simulation in Medicine Symposium (MSM 2015): Curran Associates, Inc., pp. 53–60, 2015.  (477.5 KB)
 
Bortolussi, L., and G. Sanguinetti, "Learning and designing stochastic processes from logical constraints", LOGICAL METHODS IN COMPUTER SCIENCE, vol. 11, pp. 1–24, 2015.
 
Bortolussi, L., R. De Nicola, V. Galpin, S. Gilmore, J. Hillston, D. Latella, M. Loreti, and M. Massink, "CARMA: Collective Adaptive Resource-sharing Markovian Agents", Quantitative Aspects of Programming Languages and Systems (QAPL), EPTCS, vol. 194: Open Publishing, pp. 16–31, 2015.