Computer Science | Università degli Studi di Milano Statale

Doctoral programme (PhD)

A.Y. 2024/2025

Study area

Science and Technology

Doctoral programme (PhD)

Years

Dipartimento di Informatica "Giovanni degli Antoni" - Via Celoria, 18 - Milano

English

PhD Coordinator

Sassi Roberto

Course objectives

The doctoral programme in Computer Science aims to provide students with advanced scientific, methodological and technological knowledge in computer science and related sectors and their corresponding fields of application. This knowledge will prepare students and introduce them to theoretical and applied research, with particular attention to interdisciplinarity and internationalisation, developing research skills so that they are able to produce original independent research of interest to the international scientific community and businesses.
The doctoral programme aims to provide students with:
- solid wide-ranging knowledge on the basics of science and methodologies and technologies pertinent to IT and related fields,
- advanced and in-depth skills in specific areas,
- interdisciplinary skills necessary to promote cultural and methodological synergies,
- sound knowledge of research methodologies and of how to organise and manage research and disseminate results,
- opportunities to train internationally,
- a better preparation and placement within academic research groups and companies.

Entry requirements

Tutte le classi di laurea magistrale - All classes of master's degree

Course location

Dipartimento di Informatica "Giovanni degli Antoni" - Via Celoria, 18 - Milano

Contacts

Main offices
Dipartimento di Informatica "Giovanni degli Antoni" - Via Celoria, 18 - Milano
Degree course website
http://www.di.unimi.it/ecm/home/didattica/dottorato/
Degree course coordinator: Roberto Sassi
[email protected]

Research lines

Title	Professor(s)
Certification of Machine Learning/Artificial Intelligence models. Requirements: Knowledge of the main machine learning/artificial intelligence tecniques. Knowledge of the main assurance techniques. Knowledge of the main laws and regulations on AI (e.g., AI Act).	Ardagna Claudio Agostino
Enhanced Data Governance for Big Data Environments and Artificial Intelligence. Requirements: Knowledge of the main big data and AI architectures and technologies. Knowledge of the main data governance solutions for big data architectures. Knowledge of Apache big data architecture.	Ardagna Claudio Agostino
Security Certification for IoT-edge Systems Requirements: Knowledge of the main certification and assurance techniques. Knowledge of cloud-edge architectures and systems.	Anisetti Marco
Non-functional verifications on 5G enabled Continuum Edge architecture Requirements: Knowledge of the principal testing and monitoring techniques for non-functional assessment. Knowledge of the mobile telcomunication, Cloud and Edge architectures.	Anisetti Marco
Sound synthesis and rendering for interaction Requirements: Digital signal processing; Audio programming	Avanzini Federico
Development and evaluation of accessible music interfaces Requirements: Audio and MIDI programming; experimental methods in HCI	Avanzini Federico
AI-based methods for autonomous planning with mobile robots and agents. Requirements: Basics of algorithms, optimization, and machine learning	Basilico Nicola
Inerpretable AI methods for human behavior recognition in sensorized environments Requirements: Basis of Machine Learning, Python Programming	Bettini Claudio Civitarese Gabriele
Abnormal behavior recognition in smart-home environments for digital health applications Requirements: Basics of Machine Learning, Python Programming	Bettini Claudio Civitarese Gabriele
Probabilistic integration of visual attention and language models Requirements: Basic knowledge of statistics, statistical machine learning and computer vision	Boccignone Giuseppe
Inferential techniques for contextualizing affective models via language models Requirements: Basic knowledge of statistics, statistical machine learning, affective computing, (biological, voice and video)	Boccignone Giuseppe
Geometric centralities Requirements: Algorithms; graph theory	Boldi Paolo
Innovative approaches on applied games for clinical treatment of children with disabilities based on integration of emotional intelligence, game design and machine learning. Requirements: Statistics fundamentals	Borghese Nunzio Alberto
Personality and emotion models for interactive agents in VR environments. Requirements: good skills in: - design and development of VR application for gaming - C++ - Machine Learning - Human-computer -interaction	Borghese Nunzio Alberto Ripamonti Laura Anna
Efficient algorithms for machine learning on graphs Requirements: Foundations of machine learning. Design and analysis of algorithms.	Bressan Marco
Algorithms for sampling and counting in massive hypergraphs Requirements: Solid theoretical foundations. Design and analysis of algorithms.	Bressan Marco
Graph-based analysis for biomedical data integration, prediction, and interpretation Requirements: strong mathematical basis, machine learning, python, pytorch	Casiraghi Elena Valentini Giorgio
Universal Language Server Protocol and Debugger Adapter Protocol for Modular Language Workbenches	Cazzola Walter
Data-driven agent based models in process simulation Requirements: Basic notions of Process Mining and Agent-based Modeling	Ceravolo Paolo Bellandi Valerio
Large Scale Prescriptive Analytics: solving optimization problems in real contexts, where large scale, dynamic and heterogeneous data make classical techniques unsuitable Requirements: Mathematical modeling, operations research, statistics, simulation, design and experimental analysis of algorithms	Ceselli Alberto Quadri Christian
Data driven mathematical programming: integrating mathematical programming, machine learning, and probabilistic methods. Requirements: Knowledge of Mathematical programming, statistics, machine learning, design and experimental analysis of algorithms	Ceselli Alberto Barbato Michele Malchiodi Dario
Privacy preserving machine learning and applications	Cimato Stelvio
Secure computation techniques and blockchain applications	Cimato Stelvio
Logic synthesis for emerging technologies	Ciriani Valentina
Polynomial verification of Boolean circuits	Ciriani Valentina
Algorithms for Combinatorial Optimization problems applied to complex decisions Requirements: Algorithms and Data Structures, Operations Research, C programming	Cordone Roberto
Discrete optimization algorithms for industrial applications Requirements: Algorithms and Data Structures, Operations Research, C programming	Cordone Roberto
Data security and privacy in emerging scenarios	De Capitani Di Vimercati Sabrina
Less-constrained biometric recognition systems	Donida Labati Ruggero
Security and privacy in biometric systems	Donida Labati Ruggero
Investigating biases and ethical issues in NLP and visual transformers Requirements: Background in artificial intelligence, natural language processing and/or visual transformers, and, optionally, in data ethics and the humanities	Ferrara Alfio
Controlled and collaborative query execution in emerging scenarios	Foresti Sara
Semi-supervised learning based on parametric Hopfield networks for unbalanced data classification	Frasca Marco
Improving scalability of large-scale agents simulations using parallel (GPU) and/or distributed programming Requirements: advanced programming skills, with preference for CUDA and GPU programming	Gadia Davide Maggiorini Dario
Unsupervised learning in artificial intelligence: learning from unlabeled data	Genovese Angelo
Less-constrained monitoring in Industry 4.0 by signal/image processing, artificial intelligence, and machine learning	Genovese Angelo
Artificial intelligence in healthcare and medicine Requirements: AI, computer vision, signal processing	Grossi Giuliano Lanzarotti Raffaella
Non-convex optimizations in machine learning Requirements: Optimization algorithms and signal processing	Kheirati Roonizi Arman
3d point cloud: acquisition, segmentation and classification Requirements: Artificial Intelligence, Computer Vision, Signal Processing	Lanzarotti Raffaella Grossi Giuliano
Exploring and Enhancing Smart Contract Security through Vulnerability Analysis Requirements: Knowledge of the fundamentals of blockchain and smart contracts, understanding of basic attack/defense techniques in software security, good programming skills.	Lanzi Andrea
User empowerment in regulating private information release and assessing misinformation in online scenarios Requirements: Basic knowledge of data protection (e.g., anonymization, privacy metrics, access control) and/or basic NLP algorithms and explainability mechanisms.	Livraga Giovanni
Advanced Digital Technologies for Music Requirements: Basic knowledge in Computer Science (programming languages, databases, etc.) and Music (music theory, fundamentals of harmony).	Ludovico Luca Andrea
Distributed architectures for entertainment applications Requirements: networking, distributed systems	Maggiorini Dario Gadia Davide
Models and methods for learning succinct data structures Requirements: Machine Learning. Design and analysis of algorithm	Malchiodi Dario Frasca Marco
Assistive technologies on mobile devices	Mascetti Sergio Ahmetovic Dragan
Data management and artificial intelligence in medicine	Mascetti Sergio Bettini Claudio
Definition of hybrid models, that combine large language models, knowledge graphs and graph-based machine learning techniques, for the creation, enhancement and analysis of knowledge graphs Requirements: Knowledge of graph-based data management systems, good knowledge of Machine learning techniques, good programming skills in python	Mesiti Marco Valentini Giorgio
formal verification of programming language theory Requirements: functional programming, logic, theoretical computer science	Momigliano Alberto Davide Adolfo
Identify and overcome the main difficulties in learning to program	Monga Mattia
Human-AI Collaborative Writing Requirements: Knowledge on Natural Language Processing (NLP)	Montanelli Stefano
AI for sound and music computing Requirements: Machine learning, statistical signal processing	Ntalampiras Stavros
Formal systems and complexity Requirements: Automata and formal languages	Pighizzini Giovanni
Dependable and sustainable Cloud/Fog/Edge Computing: artificial intelligence for resource and task allocation for performance, energy consumption, fault tolerance, and resilience	Piuri Vincenzo
Intelligent systems for industrial and environmental applications based on IoT architectures and artificial intelligence	Piuri Vincenzo
Artificial Intelligence for Networking: designing of algorithms for the effective, anticipatory and automated orchestration of network resources. Requirements: Artificial Intelligence/Machine Learning, Data Analysis, Wireless and Mobile Networks, Edge Computing , Simulation	Quadri Christian Gaito Sabrina Tiziana
Formal methods for Security- and Safety-critical Systems Requirements: Skills in Formal Methods and Temporal Logics. Skills in security and safety	Riccobene Elvinia Maria
Applied formal methods in Digital Twins Requirements: Skills in Formal Methods and Temporal Logics. Skills in security and safety	Riccobene Elvinia Maria
Optimization on networks Requirements: Operations research, algorithms, computer programming	Righini Giovanni
Optimization algorithms in logistics Requirements: Operations research, algorithms, computer programming	Righini Giovanni
Automatic generation of storytelling for video games based on playstiles and emotional reactions of players Requirements: good skills in: game design and development AI for videogame HCI decision systems	Ripamonti Laura Anna Borghese Nunzio Alberto
Design and development of artificial intelligence algorithms for the analysis of cardiac arrhythmias Requirements: Knowledge of signal processing and/or artificial intelligence are suggested	Rivolta Massimo Walter
Color, design, simulation and accessibility in games	Rizzi Alessandro
A novel colorimetry based on human vision in context	Rizzi Alessandro
Data privacy and artificial intelligence	Samarati Pierangela
Biomedical signal processing for a patient-centric digital health	Sassi Roberto
Ambient intelligence: data analysis and machine learning for self-adaptive environments	Scotti Fabio
Deep learning: learning techniques and explainability	Scotti Fabio
Optimization algorithms in logistics Requirements: Operations research, algorithms, computer programming	Trubian Marco
AI methods for early diagnosis of tumor pathologies based on label-free images Requirements: Basic knowledge of artificial intelligence	Trucco Gabriella Rivolta Massimo Walter
Phylogenetic tree reconstruction: algorithms and models	Trucco Gabriella Soto Gomez Mauricio Abel
Large Language Models for Molecular Biology and Medicine Requirements: Machine Learning basics and programming skills in Python	Valentini Giorgio Casiraghi Elena
High-speed cryptography Requirements: Background knowledge: cryptography and algebra	Visconti Andrea
Analysis of cryptographic primitives based on machine learning techniques Requirements: cryptography and machine learning	Visconti Andrea Malchiodi Dario
Machine learning and network science for graph-based applications	Zignani Matteo Gaito Sabrina Tiziana
Artificial Intelligence applications to Vehicle Routing Problems (ex DM 630/2024) Requirements: statistics, simulation, machine learning, operations research	Ceselli Alberto
Polynomial optimization techniques and their application to cryptographic primitives (ex DM 630/2024) Requirements: Background knowledge: cryptography and algebra	Visconti Andrea (IT Systems s.r.l.)
Mixture of Open Source LLMs (ex DM 630/2024) Requirements: Fundamentals of machine learning	Zignani Matteo (S2E SPRINT S.r.l.)