Cosimo Laneve received his Ph.D. in Computer Science in 1993. From January 1993 to October 1994, he was a postdoctoral researcher at INRIA in Sophia-Antipolis, France. Since 1994, he has been with the Department of Computer Science at the University of Bologna, where he has held the positions of Researcher, Associate Professor, and, since 2002, Full Professor.
His research interests lie in the theory of programming languages and the formal verification of program properties, with a growing focus on the use of advanced tools such as Large Language Models. His work has addressed imperative, functional, object-oriented, concurrent, and smart contract languages.
He is the author of over 120 scientific publications, including journal articles, conference papers, and book chapters. He has served -- and continues to serve -- on the program committees of various international conferences and workshops. He was a Visiting Scientist at Microsoft Research, where he led a project on a programming language for Web Services. He has also coordinated research units in national and European projects and has been the scientific lead in several industry-funded collaborations.
