Luca Bortolussi

Modelling, Simulation, Quantitative Formal Methods, Formal Verification, Statistical Machine Learning

GROUP: Modelling and Machine Learning

lbortolussi@units.it

Luca Bortolussi  got his PhD in Computer Science from the University of Udine in 2007.

Since 2007, he is assistant professor in Informatics at the department of Mathematics and Geosciences of the University of Trieste.

During 2012, he spent a sabbatical year as visiting researcher at the School of Informatics of the University of Edinburgh, while from June 2014 to May 2015, he was Guest Professor of Modelling and Simulation at the Department of Computer Science of Saarland University in Saarbrücken, Germany. 

His current research is mainly focussed on methodological improvements of modelling and simulation technology and on its application to biological systems, cyber-physical systems, collective adaptive systems, and perforrmance of computer systems.

On the methodological side, his major contributions are in bringing ideas from applied mathematics and machine learning into formal verification and reasoning, to improve its scalability and to deal consistently with uncertainty. 

He has been involved in several regional and national research projects, and he is now a member of the QUANTICOL FET-FP7 EU project. 

He has more than 60 international publications, he participated as chair or member of the program committee of several recent editions of workshops and conference in his area (QEST, FORMATS, QAPL, RV), he is a member of the editorial board of Information and Computation. 

Furthermore, he recently won three best paper awards, at ASMTA 2010, QEST 2011, QEST 2013.