Luca Gemolotto

I’m a PhD student in Computer Science and Artificial Intelligence at the University of Udine, under the supervision of Prof. Marino Miculan. My research involves studying effective and formally verifiable programming techniques for multi-domain groups of devices and robotic platforms.

My main interests lie in Cyber-Physical and Distributed Systems, especially the development and application of formal methods in relation to them. I’m currently working on a system for choreographic coordination of smart devices, in particular, swarms of drones.

Previously, I worked as a pre-doc Research Fellow at the University of Udine for the Brigantine project, which is part of the greater Interreg IT-HR cooperation programme. My involvement was in the software side, developing the data gathering layer of our autonomous catamaran but I have also a fairly hands-on approach with every aspect of the catamaran, from the engineering side to its use by the marine biologists involved.

I’ve studied for both my BSc and MSc at the University of Udine, where during my MSc I followed the Concurrent and Distributed Languages and Systems track, with a focus on formal methods and verification.

I have also supervised a few BSc students, here you can find a list.