Luca received his B.Sc. degree in 2014, followed by his M.Sc. degree in 2016, and completed his Ph.D. in 2020, all in Computer Science from Università degli Studi di Milano. In 2019 he obtained a research fellowship at Justus-Liebig-Universität Gießen. Subsequently, in 2020, he returned to Università degli Studi di Milano, where he was a postdoctoral researcher until 2023. In the same year, he joined the Department of Computer Science at Loughborough University as a lecturer.

His research interests include formal languages, automata theory and theoretical computer science. Specifically, he investigates computational models characterizing the class of regular languages and having succinct descriptions. On the other hand, his research activity focuses on the study of reversible formal models (from the descriptional complexity point of view) and their computations.

  • Formal language theory
  • Automata theory
  • Descriptional complexity
  • Reversibility in computations