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.  From June 2014 to May 2015, I have been guest professor at the department of Computer Science of the University of Saarland in Saarbruecken, Germany. 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 am currently an honorary fellow of the School of Informatics of the University of Edinburgh,  where I spent a sabbatical year in 2012. I am 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., and J. Hillston, "Efficient Checking of Individual Rewards Properties in Markov Population Models", Quantitative Aspects of Programming Languages and Systems (QAPL), EPTCS, vol. 194: Open Publishing, pp. 32–47, 2015.
 
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.