PhD Board
Fabio Buttussi / INF/01 COMPUTER SCIENCE
Human-Computer Interaction, Virtual Reality, Serious Games, Health and Safety
Amedeo Cesta / ING-INF/05 INFORMATION TECHNOLOGY
Artificial Intelligence, Temporal Reasoning, Human-Computer Interaction, Decision-Support Systems
Luca Chittaro / INF/01 COMPUTER SCIENCE
Human-Computer Interaction, Virtual Reality, Serious Games, Mobile Applications, Health and Safety, Persuasive Technology
Alessandro Cimatti / INF/01 COMPUTER SCIENCE
Formal Verification, Model Checking, Satisfiability Modulo Theories, Planning, Diagnosis, Diagnosability, Temporal and Epistemic Logic
Vincenzo Della Mea / ING-INF/05 INFORMATION TECHNOLOGY
Health Informatics, Biomedical Image Analysis, Biomedical ontologies and classifications
Dario Della Monica / INF/01 COMPUTER SCIENCE
Logics for computer science, Formal verification, Knowledge representation and reasoning, Temporal reasoning in AI
Luca Di Gaspero / ING-INF/05 INFORMATION TECHNOLOGY
Metaheuristics, Artificial Intelligence, Data Analytics, Production Optimization, Logistics Optimization
Agostino Dovier / INF/01 COMPUTER SCIENCE
Constraint Programming, Logic Programming, Knowledge Representation and Reasoning, Bioinformatics, GPGPU parallelism
Carlo Drioli / ING-INF/05 INFORMATION TECHNOLOGY
Sound Analysis and Processing, Voice Analysis and Synthesis, Emotive Speech Synthesis, Physical Modeling of the Speech Production, Nonlinear Systems and Neural Networks for Voice and Sound Processing
Federico Fontana (Coordinator) / INF/01 COMPUTER SCIENCE
Sound and Music Computing, Music Interfaces, Interactive Sound Processing, Sonic Interaction Design
Gian Luca Foresti / INF/01 COMPUTER SCIENCE
Computer Vision, Cybersecurity, Deep and Machine Learning, Unsupervised Neural Networks, Data and Information Fusion, Biometrics, Pattern Recognition and Image processing, Audio Processing and Recognition
Massimo Franceschet / INF/01 COMPUTER SCIENCE
Network science, bibliometrics, generative art, logic, temporal knowledge
Michele Geronazzo / INF/01 COMPUTER SCIENCE
Modelling and Simulation of Complex Human-Systems Interactions, Binaural Spatial Audio Synthesis, Multimodal Virtual / Augmented Reality Environments, Sound in 3D Interactions
Eddy Maddalena / INF/01 COMPUTER SCIENCE
Crowdsourcing, Information Retrieval, Data Science and Big Data Analytics
Niki Martinel / INF/01 COMPUTER SCIENCE
Artificial Intelligence, Machine Learning, Neural Networks, Deep Learning, Computer Vision, Image Processing, Image Retrieval, Pattern Recognition, Multimedia
Christian Micheloni / ING-INF/05 INFORMATION TECHNOLOGY
Active Vision, Resource Aware Camera Networks, Pattern Recognition and Machine Learning
Stefano Mizzaro / ING-INF/05 INFORMATION TECHNOLOGY
Web information retrieval, Information retrieval effectiveness evaluation, Data science, Crowdsourcing, Human computation, Social computing, Mobile and Context-aware systems
Angelo Montanari / INF/01 COMPUTER SCIENCE
Temporal logics for computer science, Automata, Knowledge representation and reasoning, Temporal reasoning in AI, Spatio-temporal databases, Big data
Andrea Orlandini / INF/01 COMPUTER SCIENCE
Artificial Intelligence, Formal Methods, Planning and Scheduling, Robotics
Carla Piazza / INF/01 COMPUTER SCIENCE
Formal Verification, Dynamical and Hybrid Systems, Model Checking Algorithms, Systems Biology
Claudio Piciarelli / INF/01 COMPUTER SCIENCE
Computer Vision, Machine Learning, Sensor Reconfiguration and Detection of Anomalies in Images
Alberto Policriti / INF/01 COMPUTER SCIENCE
Logics, Computable Set Theory, Algorithms, Bioinformatics, Computational Biology
Fabio Remondino / ICAR/06 TOPOGRAPHY AND CARTOGRAPHY
Photogrammetry, Sensor/Data Fusion, 3D modelling, Geospatial processing, Machine Learning
Daniele Salvati / ING-INF/05 INFORMATION TECHNOLOGY
Source Localization and Tracking, Signal Enhancement Beamforming, Deep Learning Methods for Acoustic Array Processing, Simultaneous Localization and Mapping of Sources and Sensors, Binaural Hearing, Acoustic Scene Classification, Acoustic Event Detection and Classification, Human-Machine Audio Interfaces
Riccardo Spizzo / BIO/13 APPLIED BIOLOGY
Translational Research in Cancer Care: Analysis of electronic health records and bioinformatic
Angelo Susi / INF/01 COMPUTER SCIENCE
Requirements Elicitation and Analysis Through Informal and Formal Methods Techniques, Search-based Software Engineering, Machine learning, Goal-oriented Requirements Engineering, Risk analysis
Massimo Vecchio / INF/01 COMPUTER SCIENCE
Computational Intelligence and Soft Computing Techniques, the Internet of Things Paradigm and Power-Aware Engineering Designs and Solutions for Constrained and Embedded Devices
