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

foto della persona

Gianluca Aguzzi

Adjunct professor

Research fellow

Teaching tutor

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

Musawar Ali

PhD Student

foto della persona

Roberto Amadini

Associate Professor

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

Francesco Antici

PhD Student

Teaching tutor

keywords: Constraint Programming, Natural Language Processing, Exascale HPCs, Green AI, Machine Learning
keywords: Quantum Computing, Artificial Intelligence, Data Science, Deep Learning and Machine Learning
foto della persona

Andrea Asperti

Full Professor

keywords: Deep Learning, Reinforcement Learning, Generative Models
foto della persona

Ozalp Babaoglu

Full Professor

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

Francesco Balzan

PhD Student

keywords: Active Inference
foto della persona

Pegah Barakati

PhD Student

foto della persona

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
foto della persona

Luciano Bononi

Full Professor

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

Andrea Borghesi

Senior assistant professor (fixed-term)

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

Samuele Burattini

PhD Student

Teaching tutor

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

Antonella Carbonaro

Associate Professor

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

Roberto Casadei

Senior assistant professor (fixed-term)

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

Yuhan Chen

PhD Student

keywords: Reinforcement Learning, Deep Learning, Autonomous Driving
foto della persona

Anna Ciampolini

Full Professor

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

Paolo Ciancarini

Full Professor

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

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
foto della persona

Ugo Dal Lago

Full Professor

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

Allegra De Filippo

Junior assistant professor (fixed-term)

keywords: Artificial Intelligence, Decision Support Systems, Hybrid Optimization
foto della persona

Enrico Denti

Associate Professor

keywords: Multi-agent systems, Programming languages, Agent-oriented software engineering, Software Infrastructures, Internet of
foto della persona

Nicolò Di Domenico

PhD Student

Research fellow

Teaching tutor

foto della persona

Alfonso Esposito

Research fellow

PhD Student

Teaching tutor

foto della persona

Muhammad Azaz Farooq

PhD Student

Teaching tutor

foto della persona

Matteo Ferrara

Associate Professor

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

Salvatore Fiorilla

PhD Student

Teaching tutor

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

Giorgio Franceschelli

PhD Student

Research fellow

Teaching tutor

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

Annalisa Franco

Associate Professor

keywords: Face recognition, Biometric systems, Human action recognition
foto della persona

Matteo Francobaldi

PhD Student

Research fellow

Teaching tutor

keywords: Artificial Intelligence, Mathematical Programming, Machine Learning
foto della persona

Giacomo Frisoni

Research fellow

Teaching tutor

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

Maurizio Gabbrielli

Full Professor

keywords: Programming languages, Constraint programming, Artificial Intelligence
foto della persona

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
foto della persona

Alessandro Ghibellini

PhD Student

Teaching tutor

foto della persona

Luca Giuliani

Research fellow

PhD Student

Teaching tutor

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

Matteo Golfarelli

Full Professor

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

Abdelsalam Ali Helal

Full Professor

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

Paolo Italiani

PhD Student

Özlem Kaya

PhD Student

foto della persona

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
foto della persona

Michele Lombardi

Associate Professor

keywords: Constraint programming, Operations research, Machine learning, Optimization
foto della persona

Daniela Loreti

Junior assistant professor (fixed-term)

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

Alessandro Maggio

PhD Student

Teaching tutor

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

Enrico Malizia

Associate Professor

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

Davide Maltoni

Full Professor

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

Vittorio Maniezzo

Full Professor

keywords: Computational algorithmics, Matheuristic algorithms, Data analytics, Predictive analytics, Prescriptive analytics,
foto della persona

Enrico Mannocci

PhD Student

foto della persona

Stefano Mattoccia

Associate Professor

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

Paola Mello

Full Professor

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

Michela Milano

Full Professor

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

Danilo Montesi

Full Professor

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

Gianluca Moro

Associate Professor

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

Mirco Musolesi

Full Professor

keywords: Machine intelligence, Machine learning, Reinforcement learning, Foundational models, Large language models, Multi-agent
foto della persona

Andrea Omicini

Full Professor

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

Filippo Orazi

PhD Student

Teaching tutor

keywords: Quantum Computing, Quantum AI
foto della persona

Danilo Pianini

Senior assistant professor (fixed-term)

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

Matteo Poggi

Senior assistant professor (fixed-term)

keywords: Computer Vision, Deep Learning, Depth Perception
foto della persona

Andrea Poltronieri

PhD Student

Teaching tutor

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

Luca Ragazzi

Research fellow

keywords: Text Mining - Natural Language Processing - Natural Language Understanding - Text Summarization - Low Resource Regimes

Adnan Riaz

PhD Student

foto della persona

Marco Roccetti

Full Professor

keywords: Human data science, Human-AI partnership, Prescient intelligence, Data and AI for social good, Biomedinformatics
foto della persona

Andrea Roli

Assistant professor

keywords: Artificial intelligence, Complex systems, Bio-inspired robotics, Swarm robotics, Complex systems biology, Genetic
foto della persona

Silvio Russo

PhD Student

foto della persona

Tina Salerno

PhD Student

Samuele Salti

Associate Professor

keywords: Computer Vision, Deep Learning, Machine Learning, Telematics
foto della persona

Claudio Sartori

Full Professor

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

Luca Sciullo

Junior assistant professor (fixed-term)

keywords: Internet of Things (IoT), Web of Things (WoT), Blockchain, Digital Twin, Industry 4.0
foto della persona

Matteo Scucchia

PhD Student

Teaching tutor

foto della persona

Giancarlo Succi

Full Professor

keywords: Empirical software engineering, agile methods, open source, software metrics, application of artificial intelligence to
foto della persona

Paolo Torroni

Associate Professor

keywords: argumentation mining, interaction protocols, multi-agent systems, agent-based simulation, multi-agent dialogue, logic
foto della persona

Angelo Trotta

Junior assistant professor (fixed-term)

foto della persona

Giorgio Tsiotas

PhD Student

keywords: Computer Vision, Internet of Things, Machine Learning, Deep Learning, Natural Language Processing
foto della persona

Mirko Viroli

Full Professor

keywords: Object-oriented languages, Multiagent systems, Simulation and verification, Coordination, Software engineering,
foto della persona

Fabio Vitali

Full Professor

keywords: markup languages, Digital Publishing, hypertext systems, document formats, Explainable Artificial Intelligence, User
foto della persona

Andrea Zanellati

PhD Student

Teaching tutor

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