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
