In this page, one can find the list of people involved in the project
Davide Barbarossa is currently a post-doc within the DIAPASoN project. He obtained a PhD degree in Theoretical Computer Science from Université Sorbonne Paris Nord in 2021 and his M.Sc. in Mathematics from Université Aix-Marseille and Università Roma Tre. His research focuses on the mathematical aspects of functional programming languages, in particular with respect to the lambda-calculus, linear logic and the Curry-Howard-Lambek correspondence.
Kostia Chardonnet is currently a post-doc within the DIAPASoN project. He obtained a PhD in computer science at Université Paris Saclay, under the supervision of Pablo Arrighi, Benoît Valiron and Alexis Saurin. His research is focused on finding relations between formal logical and quantum computation, through the use of the Curry-Howard correspondence.
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.
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).
Zeinab Galal is currently a postdoc collaborating with the DIAPASoN project. She obtained a PhD in mathematics and foundations of computer science from Paris Cité University under the supervision of Thomas Ehrhard, Christine Tasson and Lionel Vaux. Her research focuses on semantics of programming languages and categorical logic.
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 is currently a RTDa researcher 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.
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.
In his post-doctoral position at the Department of Computer Science at the University of Bologna, Riccardo Treglia often collaborates with the DIAPASoN Group. He obtained a Ph.D. degree in Computer Science from the University of Turin in 2022, under the supervision of Ugo de'Liguoro. Specifically, he studies lambda-calculus, intersection types, and rewriting theory with a particular interest in monadic frameworks.
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.
Melissa Antonelli was 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 focusses on logic, proof theory and logical foundations of computer science. Her Ph.D.research was supervised by Prof. Ugo dal Lago.
Cecilia Di Florio was 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.
Francesco Gavazzo was 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.
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).
Alexis Ghyselen was 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 was 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.
Gabriele Vanoni was a PhD candidate in Computer Science and Engineering at Università di Bologna, where he was 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 was supervised by Ugo Dal Lago.
