Simone Martini received the undergraduate degree and the Ph.D. in Computer Science from Università di Pisa. Before joining Università di Bologna in 2002, he has been Research Associate and Associate Professor at Università di Pisa, and Professor of Computer Science at Università di Udine.
He has been a visiting scientist at the former Systems Research Center of Digital Equipment Corporation, Palo Alto; at Stanford University; at École normale supérieure, Paris; at Université Paris 13; and at University of California at Santa Cruz.
He is a member of the Directing Board of Consorzio Nazionale Interuniversitario per l’Informatica (CINI) and of the Executive Board of EQANIE, the European Quality Assurance Network for Informatics Education. He has been a member of the Board of the European Association for Computer Science Logic (EACSL) and of the Executive Board of the Associazione Italiana di Logica e Applicazioni (AILA).
His research interests are in the logical foundations of programming languages. He has written papers in lambda-calculus, type theory, linear logics, implicit computational complexity, history and philosophy of computing.
The course will cover a variety of themes which are emerging as the most prominent ones in the context of digital culture.The following is a preliminary list of the topics that will be considered.
1. Computing: Meaning and Limitations (from Kurt Godel & Alan Turing to Quantum and Beyond).
2. Counter Culture vs. Cyber Culture (Stewart Brand & Bob Taylor, a la’ carte).
3. Coding: Meaning and Perspectives.
4. The Internet: Lo and Behold.
5. History of Computation.
6. The New Rise of AI: Of Men and Machines.
7. Text Digitization + Literary Analysis + Maps + Interactive Media + Games + Design + Media Art = Digital Humanities?
8. Big Brother in Action: Surveillance, Hacking, Privacy, Cyber-security and Data.
9. Ethics, Moral Responsibility and Accountability of Computing.
10. The Economics of the New Web.Digital Technology Management / Internet of Things