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 assaciate 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 conference and program chair of several international workshops and conferences and partecipated to several european projects. He is currently member of the advisory board of the journal ``Theory and Practice of Logic Programming'' and of the EAPLS board, and he has been member of the ALP executive committee and chair of the Steering Committee of PPDP.
Since the first mechanical automations of the 17th century, one of the great dreams of the humanity has been the construction of machines exhibiting human behaviors and intelligence. Artificial intelligence (AI) is a discipline whose goal is to realize this dream by using the most different techniques, from symbolic computation based on logic to sub-symbolic models inspired by the structure of the brain, such as neural networks.
The last few years have witnessed a sensational exploit of AI applications in many different fields - with a relevant growth of investments - inducing many experts to believe that the dream will come true in a short time.
This is inducing many companies to reconsider their business strategies and, more generally, requires a deep rethinking of several crucial aspects of our society.
The course will provide an introductory overview of the various existing AI techniques, focusing on their industrial applications, discussing future opportunities and challenges, touching also on some social, economic and ethic implications.