PhD Board

	Andrea Brunello INF/01 COMPUTER SCIENCE AI for Healthcare, Symbolic and Sub-symbolic AI integration, Digital Humanities
	Antonio Bucchiarone INF/01 COMPUTER SCIENCE Gamification, Serious Games, Adaptive Games, Software Engineering, Model-Driven Engineering
	Fabio Buttussi INF/01 COMPUTER SCIENCE Human-Computer Interaction, Virtual Reality, Serious Games, Health and Safety
	Luca Chittaro INF/01 COMPUTER SCIENCE Human-Computer Interaction, Virtual Reality, Serious Games, Mobile Applications, Health and Safety, Persuasive Technology
	Alessandro Cimatti (Coordinator) 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 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
	Andrea Formisano INF/01 COMPUTER SCIENCE Knowledge Representation and Reasoning, Logic Programming, Automated Reasoning, GPU-computing
	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
	Marino Miculan INF/01 COMPUTER SCIENCE Cybersecurity, Distributed Systems, Formal methods, Category Theory, Type Theory, Logic
	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
	Gabriele Puppis INF/01, COMPUTER SCIENCE Formal Methods for Verification (Logics, Algebras, Automata, Transducers), Databases
	Fabio Remondino ICAR/06 TOPOGRAPHY AND CARTOGRAPHY Photogrammetry, Sensor/Data Fusion, 3D modelling, Geospatial processing, Machine Learning
	Vincenzo Riccio INF/01 COMPUTER SCIENCE Automated Software Testing, Software Engineering with/for Artificial Intelligence
	Kevin Roitero ING-INF/05 INFORMATION TECHNOLOGY Artificial Intelligence, Crowdsourcing & Human Computation, Information Retrieval
	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

Supporto