Modules running in the period selected: 76.
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. |
Machine Intelligence
Artificial intelligence |
Formal methods and theory of security | Development of formal, and possibly automated, methods for the analysis of the security of software systems |
Software Engineering and Security
Formal methods and theory of security |
Network security | Development of techniques and tools for the security of computer networks |
Software Engineering and Security
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 |
Machine Intelligence
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. |
Machine Intelligence
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. |
Machine Intelligence
Artificial intelligence |