Artificial intelligence

This line of research is mainly concerned with knowledge representation and reasoning in Artificial Intelligence. Object of research are different knowledge representation techniques such as ontologies, rule-based systems, logic-based approaches (Logic Programming, Event Calculation, Descriptive Logic, Abduction and Argumentation) and their integration also in the field of uncertain reasoning.

Subject of research are also algorithms, methods and tools for the development of "intelligent" systems that can be an efficient and effective support to decisions, using and integrating also learning methods (symbolic and sub-symbolic) and optimization techniques. The results of this activity have been used in several application areas such as, for example, medicine, energy management, smart cities, Web services orchestration, business processes. In particular, run-time and a posteriori verification techniques have been used to monitor the compliance of the execution of processes with respect to guidelines, regulations, standards, protocols and possibly legal aspects.

People

Gianluca Aguzzi

Adjunct professor

Research fellow

Roberto Amadini

Associate Professor

keywords: Artificial Intelligence, Constraint Programming, Combinatorial Optimization, Algorithms Portfolio, Software Verification

Andrea Asperti

Full Professor

keywords: Deep Learning, Generative AI, Multimedia, Reinforcement Learning

Francesco Balzan

PhD Student

keywords: Active Inference

Pegah Barakati

PhD Student

Ilaria Bartolini

Full Professor

keywords: Intelligent multimedia data management, Similarity search, Ontology-based semantic tagging, Preference-based queries,

Andrea Bedei

PhD Student

Teaching tutor

Alessandro Bevilacqua

Assistant professor

keywords: 3D computer vision, machine learning, pattern recognition, Artificial Intelligence, medical and biomedical imaging,

Luciano Bononi

Full Professor

keywords: Network Communication Protocols and architectures, Wireless networks and systems, Sustainable electric vehicular

Andrea Borghesi

Associate Professor

keywords: Artificial Intelligence, Agent-based Models, Machine Learning, Constraint Programming, Deep Learning, Supercomputers,

Simone Branchetti

PhD Student

Teaching tutor

keywords: Watermarking, Authorship Attribution, IP protection

Roberta Calegari

Fixed-term Researcher in Tenure Track L. 79/2022

keywords: logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS,

Antonella Carbonaro

Associate Professor

keywords: data and knowledge representation, explanability, interpretability, Knowledge graphs, semantic web, digital health

Roberto Casadei

Senior assistant professor (fixed-term)

keywords: software engineering, programming paradigms, multi-agent systems, distributed systems, distributed artificial

Anna Ciampolini

Full Professor

keywords: artificial intelligence, cloud computing, intelligent agents, high performance computing, virtualization

Paolo Ciancarini

Full Professor

keywords: Software engineering, Distributed systems, Software architecture, Multi-agent systems and coordination, Artificial

Giovanni Ciatto

Fixed-term Researcher in Tenure Track L. 79/2022

keywords: artificial intelligence, ingegneria del software, multi-agent systems, explainable artificial intelligence, logic

Michele Colajanni

Full Professor

Filippo D'Addeo

PhD Student

Ugo Dal Lago

Full Professor

keywords: Programming Languages, Quantum Computation, Cryptography, Logic in Computer Science

Allegra De Filippo

Junior assistant professor (fixed-term)

keywords: Artificial Intelligence, Decision Support Systems, Hybrid Optimization

Enrico Denti

Associate Professor

keywords: Multi-agent systems, Programming languages, Agent-oriented software engineering, Software Infrastructures,

Nicolò Di Domenico

PhD Student

Teaching tutor

Nicolò Donati

PhD Student

Teaching tutor

keywords: Generative AI, Large Reasoning Models, LLM Evaluation, Quantization, RAG, Summarization, Human-In-The-Loop,

Gaia Ebli

PhD Student

Alfonso Esposito

PhD Student

Teaching tutor

Matteo Ferrara

Associate Professor

keywords: Biometric Systems, Fingerprint Recognition, Face Recognition, Pattern Recognition, Image Processing, Computer Vision,

Stefano Ferretti

Full Professor

keywords: complex networks, distributed systems, machine learning, trustworthy AI, federated learning, blockchain, information

Giorgio Franceschelli

Research fellow

Teaching tutor

keywords: Generative AI, Deep Learning, Reinforcement Learning, Creativity, Agentic AI

Matteo Francia

Fixed-term Researcher in Tenure Track L. 79/2022

keywords: Digital Brain, Data platforms, Machine Learning, Big data, Precision Agricolture, Mobility Data

Annalisa Franco

Associate Professor

keywords: Face recognition, Biometric systems, Human action recognition

Giacomo Frisoni

Research fellow

Teaching tutor

keywords: Natural Language Processing, Large Language Models, Graph Neural Networks

Maurizio Gabbrielli

Full Professor

keywords: Artificial Intelligence, Constraint programming, Programming languages

Andrea Galassi

Junior assistant professor (fixed-term)

keywords: natural language processing, nlp, deep networks, machine learning, argument mining, argumentation mining, legal texts,

Enrico Gallinucci

Fixed-term Researcher in Tenure Track L. 79/2022

keywords: Big Data, NoSQL Databases, Social Data Analysis, Trajectory Data Analysis, Precision Agriculture, Business

Simone Gazza

PhD Student

Teaching tutor

keywords: Combinatorial Optimization, Constraint Programming

Matteo Golfarelli

Full Professor

keywords: Big Data, Data warehouse, Design process, Data Mining, Analytics, Social business intelligence, Opinion mining,

Idio Guarino

Junior assistant professor (fixed-term)

keywords: Network Traffic Analysis, Network Traffic Prediction, Network Traffic Classification, Network Traffic Modeling, Network

Abdelsalam Ali Helal

Full Professor

keywords: Architectural and programmability aspects of the Internet of Things (IoT), Service-oriented IoT architectures, IoT edge

Antonio Iacobelli

PhD Student

Teaching tutor

Martina Ianaro

PhD Student

Teaching tutor

keywords: Multimodal Large Language Models, Retrieval-Augmented Generation, Natural Language Processing, Computer Vision, Prompt

Özlem Kaya

PhD Student

Stefano Lodi

Associate Professor

keywords: Machine learning, Quantum Machine Learning, Digitalisation for Energy, Big data analytics, Data science, Data mining

Michele Lombardi

Associate Professor

keywords: Constraint programming, Operations research, Machine learning, Optimization

Daniela Loreti

Junior assistant professor (fixed-term)

keywords: Sustainable HPC algorithms, Evaluation and containment of the energy consumption of AI algorithms., Parallel

Alessandro Maggio

PhD Student

keywords: Artificial Intelligence, Machine Learning, Deep Learning, Constrained Machine Learning, Fair AI, Explainable AI,

Enrico Malizia

Associate Professor

keywords: Artificial intelligence, Computational complexity, Theorectical computer science, Knowledge representation and

Davide Maltoni

Full Professor

keywords: Biometric systems, Computer vision, Machine learning, Continual learning, Computational neuroscience, Large Language

Vittorio Maniezzo

Full Professor

keywords: Forecasting algorithms, Matheuristic algorithms, Data analytics, Heuristic optimization, Predictive analytics,

Enrico Mannocci

PhD Student

Isabella Marasco

PhD Student

Research fellow

Teaching tutor

keywords: Cybersecurity, Artificial Intelligence, Machine Learning, Deep Learning

Stefano Mattoccia

Full Professor

keywords: Computer vision, Machine learning, Deep-learning, 3D perception, Stereo vision, monocular depth estimation, Embedded

Michela Milano

Full Professor

keywords: Artificial Intelligence, Decision support systems for policy making, Constraint Programming, Search strategies, hybrid

Lorenzo Molfetta

PhD Student

keywords: Explainable Large Language Models, Neuro-Symbolic AI, Knowledge-Enhanced Natural Language Processing

Danilo Montesi

Full Professor

keywords: Big data, Social network and medical data analysis, Structured, semi structured and unstructured data analysis

Federico Montori

Associate Professor

keywords: Internet of Things, Digital Twins, Mobile Crowdsensing, Decentralized Architectures

Gianluca Moro

Associate Professor

keywords: Text mining, Data mining, Deep learning, Cross-modal text and images retrieval, Transfer learning, Ad hoc data centric

Mirco Musolesi

Full Professor

keywords: Artificial intelligence, Machine learning, Foundational models, Large language models, Generative Artificial

Ghulam Mustafa

PhD Student

Qamar Un Nisa

PhD Student

Fabio Notaro

PhD Student

Teaching tutor

keywords: computer vision, deep learning, machine learning, artificial intelligence, product engagement, human analysis,

Andrea Omicini

Full Professor

keywords: simulation, intelligent agents, multiparadigm languages, self-organising systems, pervasive computing, multiagent

Serafino Pandolfini

PhD Student

Teaching tutor

keywords: Artificial Intelligence, Deepfake Detection, Image Inpainting

Lorenzo Paolini

PhD Student

Teaching tutor

Gianmarco Pappacoda

PhD Student

Teaching tutor

Manuele Pasini

PhD Student

Teaching tutor

Lorenzo Pellegrini

Junior assistant professor (fixed-term)

keywords: Artificial intelligence, Continual learning, Deep learning, Machine learning, Deepfake detection

Danilo Pianini

Associate Professor

keywords: simulation, aggregate programming, Internet of Things, self-organization, collective adaptive systems, software

Francesco Pivi

PhD Student

Teaching tutor

keywords: Artificial intelligence, Computer vision