My research activities focus primarily on the theoretical foundations and practical applications of complex computing systems (dependable, distributed, concurrent, and secure).
Since arriving in Neuchâtel, I have participated as a (co-)applicant in around twenty research projects funded by the EU (VELOX, SRT-15, LEADS, ParaDIME, SafeCloud, SecureCloud, EBSIS, LEGaTO, VEDLIoT, SCEAL) and the SNSF (list on the data portal).
The list of my publications can be found in the DBLP bibliographic database and on Google Scholar.