Computer Science
Doctoral programme (PhD)
A.Y. 2020/2021
Study area
Science and Technology
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.
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
- Main offices
Dipartimento di Informatica "Giovanni degli Antoni" - Via Celoria, 18 - Milano - Degree course coordinator: Paolo Boldi
[email protected] - Degree course website
http://www.di.unimi.it/ecm/home/didattica/dottorato/
| Title | Professor(s) |
|---|---|
| Computational Intelligence techniques for security monitoring in distributed environment
Requirements: Basic knowledge on ICT security and cloud computing architecture |
|
| Assurance techniques for new generation distributed systems
Requirements: Knowledge of the main cloud and Internet of Things technologies |
|
| Audio and MIDI programming; Experimental methods in HCI
Requirements: Audio and MIDI programming; Experimental methods in HCI |
|
| Advanced techniques for sound synthesis and 3D rendering in interactive contexts
Requirements: Digital signal processing, audio programming |
|
| Sonic interaction design and assistive technologies for blind and visually impaired users
Requirements: Audio and MIDI programming; experimental methods in HCI |
|
| Multi-Agent Path Finding: development and analysis of algorithms for the resolution of MAPF in real and virtual environments
Requirements: Fundamentals of algorithms and linear algebra |
|
| AI techniques for human activity recognition in smart environments | |
| Personal Data Protection in mobile and pervasive computing | |
| Stochastic and variational approaches for Bayesian inference in intelligent systems
Requirements: Statistical machine learning, Probabilistic methods for computer science |
|
| Bayesian programming and Bayesian neural nets for computer vision and affective computing
Requirements: Statistical machine learning, Computer vision, Affective computing models |
|
| E-Health: integration of domotics, service robots, exer-games, virtual comunities and web services through intelligent systems and emotional intelligence to support pre-frail people at home | |
| Multi-modal stimulation for treatment of autistic spectrum syndroms. Exer-games and music: development of models associated to music listening and applications to austism treatment | |
| Development of deep neural networks based on convolutional layers for reinforcement learning: extraction of state-action patterns from applications in different domains | |
| 3D modeling of dynamical environments with cyclic behaviour (e.g. daily / weekly) by autonomous robots through intergration of SLAM techniques Simultaneous Localization and Mapping) and advanced pattern analysis and matching techniques. | |
| Automatic concern identification and separation for tool aided code refactoring and programming languages processing | |
| Program synthesis applied to GPU/TPU and high performance computing with the help of automatic reasoning, constraint programming and property checking | |
| Graph Embeddings
Requirements: Machine Learning Basics |
|
| Study of online learning algorithms (funded by Istituto Italiano di Tecnologia)
Requirements: Machine learning, probability and statistics, analysis of algorithms |
|
| Design and analysis of machine learning algorithms
Requirements: Machine learning, probability and statistics, analysis of algorithms |
|
| Data driven mathematical programming: integrating mathematical programming and machine learning
Requirements: Mathematical programming, statistics, machine learning, design and analysis of algorithms |
|
| Large Scale Prescriptive Analytics: solving complex optimization problems in real world contexts where large size, dynamic, heterogeneous data make classical techniques unsuitable
Requirements: Mathematical modeling, operations research, statistics, simulation, design and experimental analysis of algorithms |
|
| Computational Intelligence techniques for predicting catastrophic weather events in the Mediterranean |
A. Ciaramella
|
| Algorithms for Combinatorial Optimization problems applied to complex decisions
Requirements: Algorithms and Data Structures, Operations Research, C programming |
|
| 5G Edge-Cloud Architectures for Intensive Mobile and Iot Data Analytics (funded by TIM) | |
| Smart Campaign Agent (funded by TIM) | |
| Security in IoT: security in "massive" IoT enabled by 5G (funded by TIM) | |
| AI techniques for the study of mobile users behavior in indoor spaces | |
| Data security and privacy in emerging scenarios | |
| Less-constrained biometric recognition systems | |
| Security and privacy in biometric systems | |
| Explainable AI for interpretable data science
Requirements: Basic probability and statistics, programming skills, data management, machine learning |
|
| Neural Language Models
Requirements: Basic probability and statistics, programming skills, basics of natural language processing, machine learning |
|
| Controlled and collaborative query execution in distributed systems | |
| Techniques for compressing deep neural networks for indexing and classification problems | |
| Machine learning methods for medical and biological problems | |
| Explainable Artificial Intelligence for Genome Medicine applications | |
| Temporal networks | |
| Unsupervised learning in artificial intelligence: learning from unlabeled data | |
| Less-constrained monitoring in Industry 4.0 by signal/image processing and machine learning | |
| Computational intelligence and applications
Requirements: Skills in Probabilistic Modeling and Data Analytics. Basic knowledge of Machine Learning |
G. Gianini
|
| Big Data Modeling and Analytics
Requirements: Skills in Probabilistic Modeling |
G. Gianini
|
| Formal Description of Multilayer Music Structures |
G. Haus
|
| Fuzzing techniques for Discovering Code Vulnerabilities
Requirements: Good knowledge about the memory errors techniques and web attack. Good programming knowledge about C and assembly language |
|
| Side-Channel Attack Analysis
Requirements: Good knowledge about Operating System and Computer Architecture. |
|
| Programming education: pedagogies, misconceptions, learning strategies, assessment | |
| Computer-based technologies for music education
Requirements: Basic knowledge in Computer Science (programming languages, databases, etc.) and Music (music theory, fundamentals of harmony, etc.) |
|
| Computer-Based Methodologies for Music Information
Requirements: Basic knowledge in Computer Science (programming languages, databases, etc.) and Music (music theory, fundamentals of harmony, etc.) |
|
| Entertainment services provisioning in distributed environments
Requirements: Networking |
|
| Real-time profiling and verification of eSport players
Requirements: Programming, Machine Learning |
|
| Mobile assistive technologies | |
| Verification and validation of the semantics of programming languages
Requirements: Declarative programming, basic logic |
|
| Data Science for Computational Social Sciences and Humanities
Requirements: Fluent English. Solid background in computer science, with particular focus on machine learning and data management |
|
| Interpretable machine learning for audio and music analysis
Requirements: Digital signal processing, machine learning, deep learning, python, matlab |
|
| Adversarial machine learning for audio and music analysis
Requirements: Digital signal processing, machine learning, deep learning, python, matlab |
|
| Distributed algorithms for mobile entities
Requirements: Candidate is required to have strong bases and interest on Algorithms and Parallel and Distributed Algorithms |
|
| Quantum automata: theory and applications
Requirements: Candidate must have strong bases in Formal language and Automata theory as well as in Theoretical Computer Science |
|
| Formal systems and complexity
Requirements: Theoretical computer science and formal languages |
|
| Dependable Cloud/Fog/Edge Computing: resource and task allocation for fault tolerance, resilience and performance | |
| Intelligent systems for industrial and environmental applications based on IoT architectures and artificial intelligence | |
| Modeling and Verification of Cyber-Physical Systems | |
| Modeling and Verification of Self Adaptive Systems | |
| Rigorous Development Process for Software Engineering | |
| Procedural generation for story-driven video games based on playstyle and mood of players
Requirements: Good knowledge of game design and game programming |
|
| Generation of contents for video games based on players’ preferences
Requirements: Good knowledge of game design and game programming |
|
| A new computational approach to color blindness | |
| A biological and computational model of the human vision system | |
| Data protection techniques for the digital data market | |
| Biomedical signal and image processing
Requirements: Solid knowledge of signal and/or image processing. Programming skills in Go, Java, Python or Matlab |
|
| Cross-comparison and development of algorithms to assess performance detecting atrial arrhythmias from clinical ECG signals (finanziata da Amps LLC / CardioCalm) | |
| Ambient intelligence: data analysis and machine learning for self-adaptive environments | |
| Deep learning: learning techniques and explainability | |
| High-speed cryptography
Requirements: Cryptography and/or algebra |
|
| The security of crypto building blocks
Requirements: Cryptography and/or algebra |
|
| Multimodal and ecological systems for automatic emotion understanding. The research will be focused on the investigation of the contribution and integration of both visible (facial expression, eye gaze, and gesture), and non visible (physiological data) information in natural settings (out of the lab, in the wild).
Requirements: Statistics, machine learning, computer vision, affective computing |
Courses list
November 2020
| Courses or activities | Professor(s) | ECTS | Total hours | Language |
|---|---|---|---|---|
| Optional | ||||
| Deep Learning in Biometrics | 2 | 10 | English | |
December 2020
| Courses or activities | Professor(s) | ECTS | Total hours | Language |
|---|---|---|---|---|
| Optional | ||||
| Deep Learning for Signal and Image Processing | 2 | 10 | English | |
January 2021
| Courses or activities | Professor(s) | ECTS | Total hours | Language |
|---|---|---|---|---|
| Optional | ||||
| Applied Multi-Output Machine Learning | 3 | 16 | English | |
| Artificial Intelligence Techniques, Applications, and Social Issues | 4 | 20 | English | |
| Heuristic Algorithms for Combinatorial Optimization Problems | 4 | 20 | English | |
| Machine Learning for Network and Genomic Medicine | 3 | 15 | English | |
| Mobile Edge Computing | 4 | 20 | English | |
February 2021
| Courses or activities | Professor(s) | ECTS | Total hours | Language |
|---|---|---|---|---|
| Optional | ||||
| Network Flows (modeling, analysis and optimization of networks part 1) | 3 | 15 | English | |
| Security Threats, Trends Challenges and Gaps | 2 | 10 | English | |
March 2021
| Courses or activities | Professor(s) | ECTS | Total hours | Language |
|---|---|---|---|---|
| Optional | ||||
| E-Health and Social Distancing Technologies in Covid Time and for the Future of Health Care | Pizzi Rita Maria Rosa
|
2 | 10 | English |
May 2021
| Courses or activities | Professor(s) | ECTS | Total hours | Language |
|---|---|---|---|---|
| Optional | ||||
| Governance, Risk and Compliance in Distributed Architectures | 2 | 10 | English | |
June 2021
| Courses or activities | Professor(s) | ECTS | Total hours | Language |
|---|---|---|---|---|
| Optional | ||||
| Data Processing and Deep Learning: a Computational Intelligence Based Perspective | 2 | 10 | English | |
| Game Theoretic Foundations of Multiagent Systems: Algorithms and Applications | 3 | 15 | English | |
September 2021
| Courses or activities | Professor(s) | ECTS | Total hours | Language |
|---|---|---|---|---|
| Optional | ||||
| Introduction to Quantum Information and Cryptography | Gianini Gabriele
|
3 | 15 | English |
Not specified period
| Courses or activities | Professor(s) | ECTS | Total hours | Language |
|---|---|---|---|---|
| Optional | ||||
| Artificial Intelligence for Image Processing and Analysis in Medical Imaging | 3 | 16 | English | |
| Learning On 3d Geometries | 2 | 12 | English | |
Following the programme of study
Contacts
Office and services for PhD students and companies