Computer Science

Dottorati
Doctoral programme (PhD)
A.Y. 2025/2026
Study area
Science and Technology
Doctoral programme (PhD)
3
Years
Dipartimento di Informatica "Giovanni degli Antoni" - Via Celoria, 18 - Milano
Language
English
PhD Coordinator
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.
Tutte le classi di laurea magistrale - All classes of master's degree
Dipartimento di Informatica "Giovanni degli Antoni" - Via Celoria, 18 - Milano
Title Professor(s)
IoT-edge systems certification
Requirements: Knowledge of the main certification and assurance techniques. Knowledge of cloud-edge architectures and systems
Non-functional verifications on LLM-Based Systems
Requirements: Knowledge of the main verification, monitoring, and non-functional testing techniques. Understanding of LLM models and adaptation methodologies such as fine-tuning, prompting, and RAG
Enhanced Techniques for AI-driven Data Governance and Trust in Big Data Pipelines
Requirements: Knowledge of the main big data and Artificial Intelligence architectures and technologies. Knowledge of the main data governance solutions for big data architectures. Knowledge of Trust Management Systems and Protocols.
Certification of Distributed Systems built on Machine Learning/Artificial Intelligence
Requirements: Knowledge of the main machine learning/artificial intelligence tecniques. Knowledge of the main assurance/certification techniques.
Robust Machine Learning Techniques for the Classification of Archaeological and Artistic Heritage Artifacts: Addressing Domain-Specific Challenges in the Context of Cultural Heritage
Requirements: Experience in Computer Vision and Machine Learning. Proficiency in Python programming and practical experience with Deep Learning libraries.
Techniques for procedual synthesis and spatial rendering of sound
Requirements: Digital signal processing; Audio programming
Development and evaluation of accessible music interfaces
Requirements: Audio and MIDI programming; experimental methods in HCI
Learning and Planning Techniques for Autonomous Robots and Agents
Requirements: Basics of algorithms and machine learning
Explainable AI techniques for human activity recognition in smart environments
Geometric centralities: discriminating power and expressivity
Requirements: -
Innovative approaches on applied games for clinical treatment of children with disabilities based on integration of emotional intelligence, smart objects, social robots, game design and machine learning.
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, LMM
Learning Interpretable Representations of Hierarchical Structures with Hyperbolic and Quantum-Inspired Embeddings for Biomedical Data Integration and prediction
Requirements: mathematical basis, graph theory and graph analysis, supervised learning
Graph Representation Learning for Biomedical applications
Requirements: Basics of mathematics, graph theory and analysis, supervised learning
Universal Language Server Protocol and Debugger Adapter Protocol for Modular Language Workbenches
Language Feature Modularization, Composition and Polyglotism in Compiled Languages as Rust
Integrating Large Language Models in Process Mining for Decision Support
Requirements: Python and NLP frameworks
Regret minimization algorithms in strategic environments
Requirements: Theoretical foundations of machine learning. Fundamentals of game theory. Algorithm design and analysis
Multi-agent sequential decision-making
Requirements: Theoretical foundations of machine learning. Design and analysis of algorithms.
Data driven mathematical programming: integrating mathematical programming, machine learning, and probabilistic methods
Requirements: Background on mathematical programming, statistics, machine learning, design and experimental analysis of algorithms
Secure computation techniques and blockchain applications
Privacy preserving machine learning and applications
Circuit design for emerging technologies and quantum computing
Logic synthesis for enabling information security
Discrete optimization algorithms for industrial applications
Requirements: Algorithms and Data Structures, Operations Research, C programming
Algorithms for Combinatorial Optimization problems applied to complex decisions
Requirements: Algorithms and Data Structures, Operations Research, C programming
Trustworthiness of deep discriminative, predictive, and generative AI models.
Efficient distillation of large-scale AI models for resource-constrained environments.
Data security and privacy in emerging scenarios
Security and privacy in biometric systems
Less-constrained biometric recognition systems
Investigating biases and ethical issues in NLP and visual transformers
Requirements: NLP and machine learning
Proof theory and decision procedures for Justification Logics
Requirements: Knowledge of the basic notions of semantics and proof theory for classical logic.
Security-aware resource management in cloud-fog scenarios
Succinct machine leaning models
Requirements: Basic knowledge of machine learning and optimization.
Learned data structures
Requirements: Basic knowledge of machine learning.
Distributed architectures for entertainment applications
Requirements: networking, distributed systems
Interconnection, security, and privacy issues for portable personal-use devices
Requirements: networking, distributed systems, security
Unsupervised learning in artificial intelligence: learning from unlabeled data
Less-constrained monitoring in Industry 4.0 by signal/image processing, artificial intelligence, and machine learning
Hypercomplex Learning for Computer Vision
Requirements: Computer Vision, Geometric Deep Learning
Development and Optimization of Fuzzing Techniques for Automated Vulnerability Discovery in Software Systems
Requirements: - Advanced knowledge of cybersecurity, particularly software vulnerabilities and exploitation techniques. - Proficiency in low-level programming languages, such as C and C++, with a solid understanding of memory management. - Experience with dynamic analysis and fuzzing tools, such as AFL, LibFuzzer, or QEMU-based frameworks.
Advanced Techniques for Embedded System Security: Analysis, Defense, and Resilience Against Hardware and Software Threats
Requirements: - Solid understanding of embedded architectures (e.g., ARM, RISC-V) and real-time operating systems (RTOS). - Experience in low-level programming and firmware development, including direct hardware interfacing. - Knowledge of hardware and software security concepts, including side-channel attacks, secure bootloaders, and protection of sensitive data.
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.
Informatics in K-12 education in Italy: design, analysis, and empirical validation of teaching methods and materials
Requirements: programming, basics in computer science education
Computational Models for the Analysis and Representation of Musical Information: Musicological Approaches and Digital Technologies
Requirements: Foundations of music theory (basic knowledge of harmony, rhythm, notation, and musical structures); Elements of musicology (familiarity with traditional analytical methods and basic notions of music history); Skills in music computing (experience with software tools for music analysis and processing); Programming (basic knowledge of programming languages, preferably with applications in the musical domain); Knowledge of formats and standards for music representation (MIDI, MusicXML, MEI, IEEE 1599, or other structured formats).
Digital Technologies for Music Education
Requirements: Fundamentals of music theory; fundamentals of music pedagogy; skills in music informatics; programming; knowledge of formats and standards for music representation.
Text-to-Spatial SQL interfaces
Machine learning in emerging scenarios
Requirements: Prerequisites: Statistics, machine learning, computer programming
Artificial intelligence methods for anomaly detection
Requirements: Prerequisites: Statistics, machine learning, computer programming
Data management and artificial intelligence in medicine
Assistive technologies
Formal Languages and Classical and Quantum Automata
Requirements: Theoretical Computer Science, Formal Languages and Automata
Application of LLM techniques for knowledge extraction from bio-medical documentation
Requirements: Basic knowledge of machine learning and knowledge management
Plausibility assessment for link prediction on bio-medical knowledge graph
Requirements: Basic skills of graph representation learning and knowledge management
Learning to program: identifying difficulties and how to overcome them, studying also the relationship with current code generation tools
Requirements: Programming, Computer Science Education
Human-AI Collaborative Writing
Requirements: Knowledge on Natural Language Processing (NLP)
Explainable deep learning for audio signal processing (bioacoustics and medical acoustics)
Requirements: Machine learning, Signal processing, Statistics
Formal Systems and Complexity
Requirements: Automata and formal languages
Intelligent systems for industrial and environmental applications based on IoT architectures and artificial intelligence
Artificial Intelligence solutions for dependable and sustainable cloud-fog-edge computing
New paradigms in sound synthesis and manipulation
Requirements: Depending on the projects proposed, preference will be given to profiles that focus more on mathematical signal processing, programming of real-time audio algorithms or interactive system design.
Computational Creativity and Artificial Intelligence for Sound and Music
Requirements: Mathematical skills and basic knowledge of artificial intelligence are required. Knowledge of signal processing, programming, acoustics and musical skills are also welcome.
Orchestration and optimization of service in 5G/6G mobile networks
Requirements: Wireless and Mobile Networks, Machine Learning, Edge Computing, Operative Research, Simulation
Applied formal methods in Digital Twins
Requirements: Skills in Formal Methods and Temporal Logic
Formal methods for Security- and Safety-critical Systems
Requirements: Skills in Formal Methods and Temporal Logic, Skills in security and safety
Optiimization algorithms for autonomous agents coordination
Requirements: Operational research, Mathematical programming, Algorithms
Optimization on graphs
Requirements: Operational research, Mathematical programming, Algorithms
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
Design and realization of smart objects for rehabilitation
Design and development of artificial intelligence algorithms for the analysis of electrocardiograms
Requirements: Knowledge of signal processing and/or artificial intelligence are suggested
Computational models for the technical analysis of human factors and color rendering in lighting systems
Requirements: colorimetry
Methods of analysis and computational formalization of board games
Quantum modeling and computing for sound, music, and multisensory interaction
Requirements: Elements of linear algebra and audio signal processing
Definition of sensory spaces and control of trajectories for interaction design
Requirements: Elements of human-computer interaction, signal processing, and statistical learning
Data privacy and artificial intelligence
Biomedical signal processing for a patient-centric digital health
Multimodal learning for context-aware and transferable understanding in AI models
Deep learning: learning techniques and explainability
Geometry processing: processing of 3D surfaces and volumes for real-time rendering, physics simulation, digital fabrication, animation, and design support
Architectures and algorithms for high-performance and energy-efficient genomic pattern matching
Development of efficient algorithms for large-scale phylogenetic reconstruction from genomic data
Efficient and Explainable Foundation Models for Pathogenic Variant Ranking in Rare Diseases via Multi-Modal Genomic Integration
Requirements: Basics of Mathematics, basics of supervised learning and LLMstransformers
Large Language Models for Precision Medicine
Requirements: basics of mathematics, supervised learning, basics of LLMs
High-speed cryptography
Requirements: Background knowledge: cryptography and algebra
Cryptanalysis of cryptographic primitives
Requirements: Background knowledge: cryptography and algebra

Enrolment

Call for applications

Please refer to the call for admission test dates and contents, and how to register.

Application for admission: please refer to the call

Read the Call