People

In this page, one can find the list of people involved in the project

Ugo Dal Lago

Ugo Dal Lago

Full Professor, PI

Ugo Dal Lago is full professor from 2019 and a faculty member of the Computer Science Lab at the University of Bologna since 2006. Before that, he has been a postdoc in Verona and Paris. He has been involved in many international research projects, and he co-authored more than 80 publications which appeared in journals and conference proceedings. Is the winner of the prize for the best Italian doctoral thesis in theoretical computer science (2006), of the Kleene Award (2006) and of the prize for the best young researcher in theoretical computer science (2015)

Davide Sangiorgi

Davide Sangiorgi

Full Professor

Davide Sangiorgi is full professor at the University of Bologna since October 2002. He is head of the Research Team FoCUS, a joint laboratory between the University of Bologna and INRIA (France). He has received in 2012 the Outstanding Service Award from IFIP (International Federation for Information Processing), and in 2013 the "LICS Test-of-Time" award. He is member of Academia Europaea. He has been member of the Program Committee and invited speaker in a number of international conferences. He is the author of more than 100 papers in international journals and conference proceedings, and of 3 books on theoretical computer science.

Gabriele Vanoni

Gabriele Vanoni

PhD Student

Gabriele Vanoni is a PhD candidate in Computer Science and Engineering at Università di Bologna, where he is part of the FOCUS group. He earned his B.Sc. and M.Sc., both in Computer Science and Engineering, from Politecnico di Milano. His research is in the field of logical foundations and semantics of (functional) programming languages and it is supervised by Ugo Dal Lago.

Francesco Gavazzo

Francesco Gavazzo

Post-doc

Francesco Gavazzo is currently a postdoc at IMDEA Software Institute. He obtained his PhD degree in Computer Science from the University of Bologna in March 2019. His research focuses on semantics of programming languages, more specifically on program equivalence and program distance for higher-order languages. He is also a member of the FOCUS team.

Melissa Antonelli

Melissa Antonelli

PhD Student

Melissa Antonelli is a Ph.D. candidate in Computer Science and Engineering at the University of Bologna, where she earned a BA (2016) and a MA (2019) in Philosophy. To deepen her knowledge in the field of logic, she spent one academic year at the University of Helsinki as an exchange student. Her interest is focused on logic, proof theory and logical foundations of computer science. Her Ph.D.research is supervised by Prof. Ugo dal Lago.

Simone Martini

Simone Martini

Full professor

Simone Martini is professor of Computer Science at Alma Mater Studiorum-Università di Bologna, where he served as Head of the Department of Computer Science and Engineering until May 2018. He received the Laurea degree in Scienze dell’Informazione and the Dottorato di Ricerca in Informatica (Ph.D. in Computer Science, 1988) from Università di Pisa. Before joining Università di Bologna in 2002, he has been a professor in Pisa, and in Udine. He has been a visiting scientist at several international institutions, including the Systems Research Center of Digital Equipment Corporation, Palo Alto; Stanford University; École normale supérieure, Paris; Université Paris 13; University of California at Santa Cruz; Collegium-Institute of Advanced Studies in Lyon. He has supervised several PhD students, whose careers have ranged from industry to academia (professors, consultants, members of the Italian Parliament, etc.).
His research is in the foundations of computer science, with special interest in the mathematical foundations of programming languages, and, more generally, of computational processes. He used techniques borrowed from mathematical logic, developing also novel approaches to the proof-theory of modal and linear logics, and to “implicit computational complexity”. In the last years, he started participating to the research community of “History and Philosophy of Computing,” whose central tenet is that a strong “interplay between researchers across disciplines with a serious interest in the history and philosophy of computing can crucially add to the maturity of the field of computing in general.”

Paolo Pistone

Paolo Pistone

Post-doc

Paolo Pistone is currently a post-doc within the DIAPASoN project. He obtained a joint PhD degree in Mathematics and Philosophy from Aix-Marseille University and Roma Tre University in 2015 and before joining DIAPASoN he worked as a post-doc in Marseille, Rome and Tübingen. His research is in proof theory, especially in the semantics of polymorphism and linear logic. He is currently working on categorical frameworks for program distances.

Alexis Ghyselen

Post-doc

Alexis Ghyselen is a post-doc in the DIAPASoN project since October 2021. He obtained his PhD in computer science in the PLUME team at the LIP laboratory of ENS Lyon. He is mainly interested in types, logic and programming languages. He previously worked on complexity analysis of programs using type systems, especially for probabilistic higher-order functional languages and parallel languages.

Maurizio Murgia

Post-doc

Maurizio Murgia is a postdoctoral researcher within the DIAPASoN project. He obtained his PhD degree in computer science from the University of Cagliari in 2017. He previously worked as a post-doc at the Universities of Cagliari, Kent and Trento. His research interest lies in formal modelling and verification of concurrent system, and their security.

Andrea Colledan

Andrea Colledan

PhD student

Andrea Colledan is a PhD candidate in Computer Science and Engineering at the University of Bologna, where he previously earned both his bachelor’s (2018) and master’s (2021) degree in computer science. He is mainly interested in quantum computing, and precisely in the semantics of functional quantum programming languages. His research is supervised by Prof. Ugo Dal Lago.

Cecilia Di Florio

pre-doc

Cecilia Di Florio is currently a junior research fellow within the DIAPASoN project. Previously she obtained her master’s degree in Mathematics from the Univerisity of Bologna. Her interest mainly lies in semantics of programming languages, coinduction and testing.

Aurore Alcolei

Former Post-doc

Aurore Alcolei was associated with the DIAPASoN project as a post-doc from 2019 to 2021. Her research focused on giving an interactive notion of distances between programs using the framework of game semantics,

Guillaume Geoffroy

Former Post-doc

Guillaume Geoffroy was a post-doc in the DIAPASoN project from 2019 to 2021. He is currently associate professor at IRIF, the theoretical computer science lab at Université de Paris. HIs research lies at the junction between mathematics, computer science and logic and includes such topics as classical realizability and denotational semantics of programs (particularly probabilistic programs).