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

John Amanesi Abubakar

PhD Student

Gianluca Aguzzi

Adjunct professor

Research fellow

Teaching tutor

keywords: pervasive computing, intelligenza artificiale, distributed systems, multi-agent learning, programming paradigms

Musawar Ali

PhD Student

Roberto Amadini

Associate Professor

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

Francesco Antici

PhD Student

Teaching tutor

keywords: Constraint Programming, Natural Language Processing, Exascale HPCs, Green AI, Machine Learning

Muhammad Waqas Arshad

PhD Student

keywords: Quantum Computing, Artificial Intelligence, Data Science, Deep Learning and Machine Learning

Andrea Asperti

Full Professor

keywords: Deep Learning, Reinforcement Learning, Generative Models

Ozalp Babaoglu

Full Professor

keywords: High-Performance Computing, Machine learning, Predictive data analytics, Energy efficiency, Fault tolerance,

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,

Alessandro Bevilacqua

Assistant professor

keywords: 3D computer vision, machine learning, pattern recognition, medical and biomedical imaging, aerial and satellite

Luciano Bononi

Full Professor

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

Andrea Borghesi

Senior assistant professor (fixed-term)

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

Samuele Burattini

PhD Student

Teaching tutor

keywords: Pervasive Computing, Human-Computer Interaction, Agent-Oriented Programming, Mixed Reality, Web of Things, Digital Twins

Antonella Carbonaro

Associate Professor

keywords: data and knowledge representation, explanability, IoT, IoMT, semantic web, digital health

Roberto Casadei

Senior assistant professor (fixed-term)

keywords: artificial intelligence, programming paradigms, collective systems, distributed systems, pervasive computing, Internet

Yuhan Chen

PhD Student

keywords: Reinforcement Learning, Deep Learning, Autonomous Driving

Anna Ciampolini

Full Professor

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

Paolo Ciancarini

Full Professor

keywords: Coordination languages and models, Multiagent architectures, Semantic web, Entertainment computing, Digital documents,

Alex Costanzino

PhD Student

Teaching tutor

keywords: Computer Vision, Deep Learning, Depth Estimation, Novel View Synthesis, Neural Radiance Fields, Anomaly Detection &

Iacopo Curti

PhD Student

Research fellow

Teaching tutor

keywords: Mobile Mapping, Lane detection

Filippo D'Addeo

PhD Student

Maichol Dadi

Research fellow

keywords: deep learning, computer visione, agritech, biometric systems and legal issues

Ugo Dal Lago

Full Professor

keywords: Differential Program Semantics, Quantum Computation, Cryptography, Automated Complexity Analysis

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, Internet of

Nicolò Di Domenico

PhD Student

Research fellow

Teaching tutor

Alfonso Esposito

Research fellow

PhD Student

Teaching tutor

Muhammad Azaz Farooq

PhD Student

Teaching tutor

Matteo Ferrara

Associate Professor

keywords: Biometric Systems, Fingerprint Recognition, Face Recognition, Pattern Recognition, Image Processing, Performance

Salvatore Fiorilla

PhD Student

Teaching tutor

keywords: Deep Learning, Distributed Software Architectures, Computer Vision, Instance Re Identification

Giorgio Franceschelli

PhD Student

Research fellow

Teaching tutor

keywords: Deep Learning, Generative Models, Reinforcement Learning, Creative AI, Intellectual Property

Annalisa Franco

Associate Professor

keywords: Face recognition, Biometric systems, Human action recognition

Matteo Francobaldi

PhD Student

Research fellow

Teaching tutor

keywords: Artificial Intelligence, Mathematical Programming, Machine Learning

Giacomo Frisoni

Research fellow

Teaching tutor

keywords: Text Mining, Natural Language Processing, Natural Language Understanding, Neuro-Symbolic Learning, Knowledge Graphs

Maurizio Gabbrielli

Full Professor

keywords: Programming languages, Constraint programming, Artificial Intelligence

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

Alessandro Ghibellini

PhD Student

Teaching tutor

Luca Giuliani

Research fellow

PhD Student

Teaching tutor

keywords: Artificial Intelligence, Machine Learning, Deep Learning, Constraint Programming, Mathematical Programming, Fair AI,

Matteo Golfarelli

Full Professor

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

Abdelsalam Ali Helal

Full Professor

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

Paolo Italiani

PhD Student

Özlem Kaya

PhD Student

Uzma Latif

PhD Student

keywords: Predictive Maintenance, Machine Learning, Artificial Intelligence,Computer Vision, Software Engineering and Formal

Stefano Lodi

Associate Professor

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

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

Teaching tutor

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: Computational algorithmics, Matheuristic algorithms, Data analytics, Predictive analytics, Prescriptive analytics,

Enrico Mannocci

PhD Student

Stefano Mattoccia

Associate Professor

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

Paola Mello

Full Professor

keywords: Computational logic, Logic programming, Intelligent agents, Knowledge representation and reasoning, Process mining, Web

Michela Milano

Full Professor

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

Danilo Montesi

Full Professor

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

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: Machine intelligence, Machine learning, Reinforcement learning, Foundational models, Large language models, Multi-agent

Andrea Omicini

Full Professor

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

Filippo Orazi

PhD Student

Teaching tutor

keywords: Quantum Computing, Quantum AI

Danilo Pianini

Senior assistant professor (fixed-term)

keywords: simulation, aggregate programming, Internet of Things, self-organization, complex systems, biomimicry

Matteo Poggi

Senior assistant professor (fixed-term)

keywords: Computer Vision, Deep Learning, Depth Perception

Andrea Poltronieri

PhD Student

Teaching tutor

keywords: music information retrieval, semantic technologies, computational musicology, linked open data, pattern extraction,

keywords: learning analytics, educational data mining, technology enhanced learning, educational data science

Stefano Pio Zingaro

Junior assistant professor (fixed-term)

keywords: Machine learning, Microservices, Artificial intelligence, Early school leaving