PhD Board
Coordinator: Alberto Marcone
Deputy coordinator: Stefano Mizzaro
Name
Sector
Skills
MAT/08
MATHEMATICS
Numerical Methods; Dynamical Systems; Characteristic Eigenvalues, Multipliers and Exponents; Asymptotic Stability and Bifurcation; Functional Differential and Integral Equations; Delay, Population and Epidemic Models
INF/01
COMPUTER SCIENCE
Human-Computer Interaction, Virtual Reality, Serious Games, Mobile Applications, Health and Safety, Persuasive Technology
INF/01
COMPUTER SCIENCE
Formal Verification, Model Checking, Satisfiability Modulo Theories, Planning, Diagnosis, Diagnosability, Temporal and Epistemic Logic
ING-INF/05
COMPUTER SCIENCE
Health Informatics, Biomedical Image Analysis, Biomedical ontologies and classifications
INF/01
COMPUTER SCIENCE
Logics for computer science, Formal verification, Knowledge representation and reasoning, Temporal reasoning in AI, Databases, Big data
MAT/02
MATHEMATICS
Topological groups, Duality, Dynamical systems, Entropy, Categorical Topology and Algebra
INF/01
COMPUTER SCIENCE
Constraint Programming, Logic Programming, Knowledge Representation and Reasoning, Bioinformatics, GPGPU parallelism
FIS/07
PHYSICS
Molecular modeling, Structural biology, Biomolecular simulations, Physical chemistry of biomolecules
INF/01
COMPUTER SCIENCE
Sound and Music Computing, Music Interfaces, Interactive Sound Processing, Sonic Interaction Design
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
INF/01
COMPUTER SCIENCE
Network science, bibliometrics, generative art, logic, temporal knowledge
MAT/02
MATHEMATICS
Topological groups, Dynamical systems, Algebraic and topological entropy, Pontryagin duality
FIS/01
PHYSICS
Development of silicon photodetectors and ionizing radiation detectors for big physics experiments
ING-INF/05
COMPUTER SCIENCE
Computer Vision, Camera Networks, Object Tracking, Audio Visual Tracking, Pose Estimation and Behavior Analysis, Action Recognition
MAT/01
MATHEMATICS
Reverse mathematics, Descriptive Set Theory, Weihrauch degrees, WQOs and BQOs
INF/01
COMPUTER SCIENCE
Artificial Intelligence, Machine Learning, Neural Networks, Deep Learning, Computer Vision, Image Processing, Image Retrieval
MAT/08
MATHEMATICS
Mathematical epidemiology, Computational epidemiology, Dynamical systems
ING-INF/05
COMPUTER SCIENCE
Web information retrieval, Information retrieval effectiveness evaluation, Data science, Crowdsourcing, Human computation, Social computing, Mobile and Context-aware systems
INF/01
COMPUTER SCIENCE
Temporal logics for computer science, Automata, Knowledge representation and reasoning, Temporal reasoning in AI, Spatio-temporal databases, Big data
INF/01
COMPUTER SCIENCE
Formal Verification, Dynamical and Hybrid Systems, Model Checking Algorithms, Systems Biology
INF/01
COMPUTER SCIENCE
Logics, Computable Set Theory, Algorithms, Bioinformatics, Computational Biology
FIS/01
PHYSICS
Particle physics, detector R&D; Physics Education, Teacher Training
ING-INF/05
COMPUTER SCIENCE
Machine Learning, Neural Networks, Pattern Recognition, Natural Language Processing
FIS/01
PHYSICS
Fundamental Interactions, X-ray and High-Energy Astrophysics, Semiconductor based Detectors Development
MAT/05
MATHEMATICS
Ordinary differential equations, Nonlinear Analysis, Fixed Points, Dynamical Systems