PhD Board

Andrea Brunello

Andrea Brunello

INF/01 COMPUTER SCIENCE
AI for Healthcare, Symbolic and Sub-symbolic AI integration, Digital Humanities

Antonio Bucchiarone

Antonio Bucchiarone

INF/01 COMPUTER SCIENCE
Gamification, Serious Games, Adaptive Games, Software Engineering, Model-Driven Engineering

Fabio Buttussi

Fabio Buttussi

INF/01 COMPUTER SCIENCE
Human-Computer Interaction, Virtual Reality, Serious Games, Health and Safety

Luca Chittaro

Luca Chittaro

INF/01 COMPUTER SCIENCE
Human-Computer Interaction, Virtual Reality, Serious Games, Mobile Applications, Health and Safety, Persuasive Technology

Alessandro Cimatti

Alessandro Cimatti (Coordinator)

INF/01 COMPUTER SCIENCE
Formal Verification, Model Checking, Satisfiability Modulo Theories, Planning, Diagnosis, Diagnosability, Temporal and Epistemic Logic

Vincenzo Della Mea

Vincenzo Della Mea

ING-INF/05 INFORMATION TECHNOLOGY
Health Informatics, Biomedical Image Analysis, Biomedical ontologies and classifications

Dario Della Monica

Dario Della Monica

INF/01 COMPUTER SCIENCE
Logics for computer science, Formal verification, Knowledge representation and reasoning, Temporal reasoning in AI

Luca Di Gaspero

Luca Di Gaspero

ING-INF/05 INFORMATION TECHNOLOGY
Metaheuristics, Artificial Intelligence, Data Analytics, Production Optimization, Logistics Optimization

Agostino Dovier

Agostino Dovier

INF/01 COMPUTER SCIENCE
Constraint Programming, Logic Programming, Knowledge Representation and Reasoning, Bioinformatics, GPGPU parallelism

Carlo Drioli

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

Federico Fontana

INF/01 COMPUTER SCIENCE
Sound and Music Computing, Music Interfaces, Interactive Sound Processing, Sonic Interaction Design

Gian Luca Foresti

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

Andrea Formisano

Andrea Formisano

INF/01 COMPUTER SCIENCE
Knowledge Representation and Reasoning, Logic Programming, Automated Reasoning, GPU-computing

Eddy Maddalena

Eddy Maddalena

INF/01 COMPUTER SCIENCE
Crowdsourcing, Information Retrieval, Data Science and Big Data Analytics

Niki Martinel

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

Christian Micheloni

ING-INF/05 INFORMATION TECHNOLOGY
Active Vision, Resource Aware Camera Networks, Pattern Recognition and Machine Learning

Marino Miculan

Marino Miculan

INF/01 COMPUTER SCIENCE
Cybersecurity, Distributed Systems, Formal methodsCategory Theory, Type Theory, Logic 

Stefano Mizzaro

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

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

Andrea Orlandini

INF/01 COMPUTER SCIENCE
Artificial Intelligence, Formal Methods, Planning and Scheduling, Robotics

Carla Piazza

Carla Piazza

INF/01 COMPUTER SCIENCE
Formal Verification, Dynamical and Hybrid Systems, Model Checking Algorithms, Systems Biology

Claudio Piciarelli

Claudio Piciarelli

INF/01 COMPUTER SCIENCE
Computer Vision, Machine Learning, Sensor Reconfiguration and Detection of Anomalies in Images

Alberto Policriti

Alberto Policriti

INF/01 COMPUTER SCIENCE
Logics, Computable Set Theory, Algorithms, Bioinformatics, Computational Biology

Gabriele Puppis

Gabriele Puppis

INF/01, COMPUTER SCIENCE
Formal Methods for Verification (Logics, Algebras, Automata, Transducers), Databases

Fabio Remondino

Fabio Remondino

ICAR/06 TOPOGRAPHY AND CARTOGRAPHY
Photogrammetry, Sensor/Data Fusion, 3D modelling, Geospatial processing, Machine Learning

Vincenzo Riccio

Vincenzo Riccio

INF/01 COMPUTER SCIENCE
Automated Software Testing, Software Engineering with/for Artificial Intelligence

Kevin Roitero

Kevin Roitero

ING-INF/05 INFORMATION TECHNOLOGY
Artificial Intelligence, Crowdsourcing & Human Computation, Information Retrieval

Daniele Salvati

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

Riccardo Spizzo

BIO/13 APPLIED BIOLOGY
Translational Research in Cancer Care: Analysis of electronic health records and bioinformatic

Angelo Susi

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

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