Computer science

Dottorati
Doctoral programme (PhD)
A.Y. 2020/2021
Study area
Science and Technology
Doctoral programme (PhD)
3
Years
Dipartimento di Informatica "Giovanni degli Antoni" - Via Celoria, 18 - Milano
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)
Computational Intelligence techniques for security monitoring in distributed environment
Requisiti: Basic knowledge on ICT security and cloud computing architecture
Assurance techniques for new generation distributed systems
Requisiti: Knowledge of the main cloud and Internet of Things technologies
Audio and MIDI programming; Experimental methods in HCI
Requisiti: Audio and MIDI programming; Experimental methods in HCI
Advanced techniques for sound synthesis and 3D rendering in interactive contexts
Requisiti: Digital signal processing, audio programming
Sonic interaction design and assistive technologies for blind and visually impaired users
Requisiti: 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
Requisiti: 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
Requisiti: Statistical machine learning, Probabilistic methods for computer science
Bayesian programming and Bayesian neural nets for computer vision and affective computing
Requisiti: 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
Requisiti: Machine Learning Basics
Study of online learning algorithms (funded by Istituto Italiano di Tecnologia)
Requisiti: Machine learning, probability and statistics, analysis of algorithms
Design and analysis of machine learning algorithms
Requisiti: Machine learning, probability and statistics, analysis of algorithms
Data driven mathematical programming: integrating mathematical programming and machine learning
Requisiti: 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
Requisiti: 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
Requisiti: 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
F. Scotti
Security and privacy in biometric systems
F. Scotti
Explainable AI for interpretable data science
Requisiti: Basic probability and statistics, programming skills, data management, machine learning
Neural Language Models
Requisiti: 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
Requisiti: Skills in Probabilistic Modeling and Data Analytics. Basic knowledge of Machine Learning
Big Data Modeling and Analytics
Requisiti: Skills in Probabilistic Modeling
Formal Description of Multilayer Music Structures
Fuzzing techniques for Discovering Code Vulnerabilities
Requisiti: Good knowledge about the memory errors techniques and web attack. Good programming knowledge about C and assembly language
Side-Channel Attack Analysis
Requisiti: Good knowledge about Operating System and Computer Architecture.
Programming education: pedagogies, misconceptions, learning strategies, assessment
Computer-based technologies for music education
Requisiti: Basic knowledge in Computer Science (programming languages, databases, etc.) and Music (music theory, fundamentals of harmony, etc.)
Computer-Based Methodologies for Music Information
Requisiti: Basic knowledge in Computer Science (programming languages, databases, etc.) and Music (music theory, fundamentals of harmony, etc.)
Entertainment services provisioning in distributed environments
Requisiti: Networking
Real-time profiling and verification of eSport players
Requisiti: Programming, Machine Learning
Mobile assistive technologies
Verification and validation of the semantics of programming languages
Requisiti: Declarative programming, basic logic
Data Science for Computational Social Sciences and Humanities
Requisiti: Fluent English. Solid background in computer science, with particular focus on machine learning and data management
Interpretable machine learning for audio and music analysis
Requisiti: Digital signal processing, machine learning, deep learning, python, matlab
Adversarial machine learning for audio and music analysis
Requisiti: Digital signal processing, machine learning, deep learning, python, matlab
Distributed algorithms for mobile entities
Requisiti: Candidate is required to have strong bases and interest on Algorithms and Parallel and Distributed Algorithms
Quantum automata: theory and applications
Requisiti: Candidate must have strong bases in Formal language and Automata theory as well as in Theoretical Computer Science
Formal systems and complexity
Requisiti: 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
Requisiti: Good knowledge of game design and game programming
Generation of contents for video games based on players’ preferences
Requisiti: 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
Requisiti: 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
Requisiti: Cryptography and/or algebra
The security of crypto building blocks
Requisiti: 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).
Requisiti: Statistics, machine learning, computer vision, affective computing

Enrollment

Places available: 12


Call for applications


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


Application for admission: from 08/07/2020 to 14/09/2020


Application for matriculation: from 12/10/2020 to 16/10/2020


Read the Call



Attachments and documents


Attachment 1