Monday,
Hours 10:15 AM
- 11:45 AM,
Friday,
Hours 9:00 AM
- 10:00 AM,
Orario di ricevimento invernale 2017/2018: Lunedì 10.15-11.45 e Venerdì 9.00-10.00 presso il palazzo di Lettere e Lingue
Modules running in the period selected: 74.
Click on the module to see the timetable and course details.
Topic | Description | Research area |
---|---|---|
Intelligent Agents | Design and development of autonomous entities that can sense, model and interact with the environment in which they operate. Main research topics include: action planning, reinforcement learning, reasoning in face of uncertainty. |
Sistemi intelligenti
Computing methodologies - Artificial intelligence |
Formal methods and theory of security | Development of formal, and possibly automated, methods for the analysis of the security of software systems |
Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security |
Network security | Development of techniques and tools for the security of computer networks |
Ingegneria del software e sicurezza
Security and privacy - Network security |
Automated Reasoning | Automated theorem proving; Automated model building; Reasoning about programs; Strategy analysis; Distributed automated deduction; Theorem proving strategies: ordering-based strategies (resolution and rewriting), subgoal-reduction strategies, instance-based strategies; Decision procedures for satisfiability modulo theories and their application to check program properties |
Sistemi intelligenti
Computing methodologies - Artificial intelligence |
Rappresentazione della conoscenza | La rappresentazione della conoscenza è il settore di ricerca a cavallo tra Intelligenza Artificiale e Sistemi Informativi che si occupa del problema di elaborare informazione di natura non numerica. |
Sistemi intelligenti
Computing methodologies - Artificial intelligence |
Multiagent Systems | Design and development of multiagent systems, where intelligent agents can interact among them and with the environment. Main research topics include: task assignment, distributed constraint optimization, decentralized optimization, decentralized reinforcement learning, cooperative perception. |
Sistemi intelligenti
Computing methodologies - Artificial intelligence |