Maurizio Gabbrielli is professor of computer science at the Department of Computer Science of the University of Bologna. He received his Phd. in Computer Science in 1992 from the University of Pisa. In 1993-95 he was employed at CWI (Amsterdam), from 1995 to 1998 he was assistant professors at the University of Pisa and from 1998 to 2001 he was associate professor at the University of Udine. His research interests include formal methods for program verification and analysis, constraint programming and concurrency theory. He is author of more than 80 publications on international journals, conference proceedings and books, served as a PC member, conference and program chair of several international workshops and conferences including POPL, ICLP, PPDP. He participated in several Italian and European projects and was the national co-ordinator of the PRIN project COVER. He is currently member of the advisory board of the journal ``Theory and Practice of Logic Programming'' and has been member of the ALP (Association for Logic Programming) executive committee, president of the Italian association for logic programming, member of the EAPLS board and chair of the Steering Committee of the ACM conference PPDP.
Biography Updated on 20 July 2011