Faculty research lines: Computer science curriculum

FABIO AIOLLI
- Machine learning, pattern recognition, kernel learning, transfer learning, time series prediction
- Bioinformatics
- Learning in games
- Information and document retrieval, recommender systems and collaborative filtering

PAOLO BALDAN
- Foundational aspects concerning the semantics of concurrency, with special interest for the so-called true concurrent approach
- Analysis techniques for concurrent and distributed systems, relying on their truly concurrent semantics. These include logics for expressing behavioral properties of the modeled systems and verification techniques for such logics
- Applications of the above analysis techniques in various settings, including weak memory models, program security and information flow analysis, mining and analysis of process models, model-based diagnosis, modeling of biological and ecological systems

LAMBERTO BALLAN
- Image/video indexing, matching and retrieval
- Applied machine learning and cognitive computing; pattern recognition; deep learning
- Computer vision and language; multimedia and multimodal representations
- Large-scale object recognition and scene understanding
- Human activity recognition, analysis and tracking; predictive vision
- Web-vision, social media analysis and visual data mining
- Human and machine vision

DAVIDE BRESOLIN
- Hybrid automata
- Finite automata
- Temporal representation and reasoning
- Spatial and temporal logics

ALESSANDRO BRIGHENTE
- Wireless and Mobile network security
- Physical layer security
- Cyber-physical systems (autonomous vehicles) security
- Secure and privacy preserving navigation and localization
- Security testing and secure development for cellular networks and the Internet of Things

ROBERTO CONFALONIERI
- Knowledge Representation and Reasoning, Applied Ontologies
- Neuro-symbolic Explainable AI
- Explanations for Human-centric AI

MAURO CONTI
- Security and privacy in computer and network systems, such as: mobile devices, IoT (Internet of Things), 5G, cloud computing, wireless networks, novel Internet architectures (e.g., information-centric networks and software-defined networks), and social networks
- Machine learning applications to security: traffic analysis, side channels, adversarial machine learning
- Usable security

FEDERICO CORO' (WILL JOIN THE BOARD IN THE XLII SERIES)
- Algorithms and Optimization for Drone Networks: design and implementation of algorithms for the use of drones (UAVs) and hybrid networks in complex environments. Key application areas include advanced logistics (last-mile deliveries), precision agriculture, post-disaster scenario management (search and rescue), and enabling Beyond Visual Line of Sight operations
- Security in Distributed Systems and IoT Networks: development of protocols and algorithms to ensure the resilience and security of drone networks and connected devices. Specific topics include mitigating vulnerabilities such as GPS spoofing in UAV formations and defending Federated Learning systems against malicious and targeted attacks

GIOVANNI DA SAN MARTINO
- Natural Language Processing
- Computational Models for Persuasion Analysis and Detection
- Disinformation
- Machine Learning and Generative Artificial Intelligence

MASSIMILIANO DE LEONI
- Process Mining in traditional business domains, service-oriented systems where the orchestration is driven by a process (IOT systems and domotics)

OMBRETTA GAGGI
- Pervasive and mobile computing
- Web technologies
- Multimedia applications for serious games

ALBERTO LAVELLI
- Information extraction from biomedical texts
- Exploitation of manually curated resources as training material for Machine Learning (ML) approaches
- Development of tools that can extract key pieces of knowledge from scientific publications and connect them to existing knowledge repositories
- Use of the most recent ML and NLP techniques (such as word embeddings, neural networks, deep learning)
- Adoption of strong evaluation methodologies, relying on IR/ML/NLP metrics

 ELEONORA LOSIOUK
- Android security
- Wireless networks security
- Automated program repair

NICOLO' NAVARIN
- Machine Learning on structured data
- Kernel methods
- Artificial Neural Networks
- Statistical learning theory
- Online learning
- Machine learning for Bioinformatics
- Business process mining
- Remote sensing

CLAUDIO PALAZZI
- Wired/Wireless Networks
- Distributed Sensing
- Multimedia Entertainment

LUCA PASA
- Deep Learning on structured data
- Computational Neuroscience
-Time series prediction
- Automatic Speech Recognition

ANTONIO RODA'
- Sound and music computing
- Affective computing
- Multimodal human-machine interfaces for the exploitation of cultural heritage, digital games for learning and rehabilitation

 MICHELE SCQUIZZATO
- Parallel and distributed algorithms
- Algorithms for big data
- Graph algorithms
- Online and approximation algorithms
- Energy-efficient algorithms

LUCIANO SERAFINI
- Knowledge Representation, Reasoning, and Learning
- NeuroSymbolic Artificial Intelligence
- World Model Learning
- Embodied AI

ALESSANDRO SPERDUTI
- Machine learning, pattern recognition, neural networks and kernel methods for structured data
- Bioinformatics
- Learning in games
- Data and business process mining
- QSAR studies
- Time series prediction
- Information and document retrieval

GIAN ANTONIO SUSTO
- Activity and Gesture Recognition for wearable devices
- Natural Language Processing for Sentiment Analysis
- Machine Learning and Deep Learning for industrial applications

SILVIO TOSATTO
- Understanding signaling networks in cancer and neurons
- tools and databases for proteins at different levels (sequence, structure, folding, function, interactions)


TULLIO VARDANEGA
- Elastic scalability and service orientation in the Cloud
- Time-predictable concurrency and parallelism for advanced heterogeneous many-core processors
- Leaner-centered and problem-based approaches
- Computational thinking