Davide Sangiorgi is Professor of Computer Science at the University of Bologna. His research is in the semantics of programming languages, with particular emphasis on concurrent and distributed systems. He has developed mathematical models and proof methods for these languages, based on logic and coinduction, to establish their behavioural properties. He initiated the development of theories of coinduction, mostly rooted in relational algebra, with the goal of strengthening coinductive proof methods and extending their applicability.
He received his PhD from the University of Edinburgh under the supervision of Robin Milner and subsequently worked at INRIA (France), first as Chargé de Recherche and later as Directeur de Recherche, before joining the University of Bologna in 2002. Since 2010 he has led OLAS, a joint INRIA–University of Bologna research team on programming languages and concurrency theory. He is the author of three research monographs published by Cambridge University Press.
He is a member of Academia Europaea and of Accademia delle Scienze di Bologna, and a Fellow of the European Association for Theoretical Computer Science. He has received the `Outstanding Service Award' from IFIP (International Federation for Information Processing) and three international awards recognizing the long-term impact of his research.
