Luca Olivieri
Luca Olivieri is a postdoctoral researcher in Computer Science working on software verification based on formal methods at the University of Ca’ Foscari in Venice. He obtained his PhD in Computer Science, certified as “Doctor Europaeus,” from the University of Verona (Italy) in April 2023. His doctoral thesis, titled “Verification and Optimization of Blockchain Software,” was partially carried out at the University of Rennes 1 (France).
He holds a Bachelor’s and Master’s degree in Computer Science and Computer Engineering from the University of Verona. After completing his Master’s degree, he worked as a Software Engineer and Researcher within the R&D team at JuliaSoft/Corvallis srl from April 2018 to June 2023. His main contribution in these companies was the development of Julia, an industrial static analyzer based on abstract interpretation for Java and C#.
He also contributed to integrating Julia into GrammaTech Inc.‘s CodeSonar analyzer. In July 2023, he joined the University of Ca’ Foscari in Venice and the SSV group as a research fellow and is currently an assistant professor (without tenure track). His research interests include cybersecurity, software verification, blockchain, smart contracts, data protection, and program analysis through formal methods.
Back