His research interests are mainly in formal methods for safety-critical and real-time systems, with particular reference to architectures for real-time distributed systems. He has previously participated in several national and international projects, including MADES and Green Move. He was the co-chair of the Student Contest on Software Engineering (SCORE), part of the 33rd International Conference in Software Engineering.