Collegio docenti

PhD Board

Coordinator: Federico Fontana
Deputy coordinator: Dimitri Breda

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

FIS/01
PHYSICS

Astroparticle Physics, Very High Energy gamma Astrophysics

ING-INF/05
COMPUTER SCIENCE

Health Informatics, Biomedical Image Analysis, Biomedical ontologies and classifications

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

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

MAT/03
MATHEMATICS

Algebraic Geometry