Dimitri Breda

MAT/08 : Numerical 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, Cybersecurity, Deep and Machine Learning, Unsupervised Neural Networks, Data and Information Fusion, Biometrics, Pattern Recognition and Image processing, Audio Processing and Recognition

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 : Information Technology
Computer Vision, Camera Networks, Object Tracking, Audio Visual Tracking, Pose Estimation and Behavior Analysis, Action Recognition

Alberto Marcone (Coordinator)

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, Pattern Recognition, Multimedia

Stefano Merler

MAT/08 : Mathematics
Mathematical epidemiology, Computational epidemiology, Dynamical systems

Marino Miculan

INF/01 : Computer Science
Cybersecurity, Distributed Systems, Formal methods, Category Theory, Type Theory, Logic 

Stefano Mizzaro (Deputy Coordinator)

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 Santi

FIS/01 : Experimental Physics
Particle physics, detector R&D; Physics Education, Teacher Training

Giuseppe Serra

ING-INF/05 : Information Technology
Machine Learning, Neural Networks, Pattern Recognition, Natural Language Processing

Francesco Zucconi

MAT/03 : Geometry
Algebraic Geometry