PhD Board



Dimitri Breda / MAT/08 NUMARICAL ANALYSIS
Numerical Methods; Dynamical Systems; Characteristic Eigenvalues, Multipliers and Exponents; Asymptotic Stability and Bifurcation; Functional Differential and Integral Equations; Delay, Population and Epidemic Models

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

Barbara De Lotto / FIS/01 EXPERIMENTAL PHYSICS
Astroparticle Physics, Very High Energy gamma Astrophysics

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

Federico Fogolari / FIS/07 APPLIED PHYSICS
Molecular modeling, Structural biology, Biomolecular simulations, Physical chemistry of biomolecules

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, Neural Networks, Data and Information Fusion, Biometrics and Security, Big Data and Social Networks, Pattern Recognition, Audio Processing and Recognition, Image processing

Massimo Franceschet / INF/01 COMPUTER SCIENCE
Network science, bibliometrics, generative art, logic, temporal knowledge

Anna Giordano Bruno / MAT/02 ALGEBRA
Topological groups, Dynamical systems, Algebraic and topological entropy, Pontryagin duality

Alberto Gola / FIS/01 EXPERIMENTAL PHYSICS
Development of silicon photodetectors and ionizing radiation detectors for big physics experiments

Oswald Lanz / ING-INF/05 COMPUTER SCIENCE
Computer Vision, Camera Networks, Object Tracking, Audio Visual Tracking, Pose Estimation and Behavior Analysis, Action Recognition

Alberto Marcone / MAT/01 MATHEMATICAL LOGIC
Reverse mathematics, Descriptive Set Theory, Weihrauch degrees, WQOs and BQOs

Niki Martinel / INF/01 COMPUTER SCIENCE
Artificial Intelligence, Machine Learning, Neural Networks, Deep Learning, Computer Vision, Image Processing, Image Retrieval

Stefano Merler / MAT/08 MATHEMATICS
Mathematical epidemiology, Computational epidemiology, Dynamical systems

Marino Miculan / INF/01 COMPUTER SCIENCE
Formal methods, Cybersecurity, Models of concurrent and distributed systems, Type theory, Category theory

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

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

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

Lorenzo Gianni Santi / FIS/01 PHYSICS
Particle physics, detector R&D; Physics Education, Teacher Training

Giuseppe Serra / ING-INF/05 COMPUTER SCIENCE
Machine Learning, Neural Networks, Pattern Recognition, Natural Language Processing

Francesco Zucconi / MAT/03 GEOMETRY
Algebraic Geometry