vai al contenuto della pagina vai al menu di navigazione

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.”

Aurore Alcolei

Post-doc

Aurore Alcolei is associated with the DIAPASoN project as a post-doc since November 2019. Previously she did her PhD in the Plume team of the LIP laboratory at the ENS of Lyon, also in exchange at the computer laboratory of Cambridge. Her interest in foundational computer science lies in semantics and logics. Her original research focused on concurrent game semantics for proofs and programs. She is now studying the notion of behavioural distance between programs within this framework.

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.

Guillaume Geoffroy

Post-doc

Guillaume Geoffroy is a post-doc in the DIAPASoN project. He obtained his PhD in mathematics from Aix-Marseille université in 2019. His research is centered on proof theory and program semantics and currently focuses on approximate equivalence for higher order programs.