People

Faculty

  

A B C D F G L M O P Q R S V Z

62 People

A

Albi, Giacomo
Disciplinary sector ANALISI NUMERICA
Skills: Equations of mathematical physics and other areas of application, Partial differential equations, initial value and time-dependent initial-boundary value problems
giacomo|albi*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7913

Angeleri, Lidia
Disciplinary sector ALGEBRA
Skills: Abelian categories, Homological algebra, Modules, bimodules and ideals, Representation theory of rings and algebras, Rings and algebras arising under various constructions
lidia|angeleri*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7911

B

Baldo, Sisto
Disciplinary sector ANALISI MATEMATICA
Skills: Existence theories, Manifolds, Optimality conditions, Variational principles of physics
sisto|baldo*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7935

Belussi, Alberto
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Conceptual modelling of spatial databases, Geographical Information Systems & Spatial Data Infrastructures (SDI), GeoProcessing Workflow, Models for spatio-temporal granularities, Spatial query processing and optimization
alberto|belussi*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7980

Bicego, Manuele
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Bioinformatics and Computational Biology, Computer Vision, Pattern Recognition
manuele|bicego*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7072

Bloisi, Domenico Daniele
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Computer Vision, Multiagent Systems, Video Surveillance and Monitoring
domenico|bloisi*univr|it <== Replace | with . and * with @ to have the right email address.   /  

Bombieri, Nicola
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Advanced Architecture, Embedded system design
nicola|bombieri*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7094

Bonacina, Maria Paola
Disciplinary sector INFORMATICA
Skills: Automated Reasoning, Software Verification
mariapaola|bonacina*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7046

Bos, Leonard Peter
Disciplinary sector ANALISI NUMERICA
Skills: Inequalities, Multivariate Polynomial Interpolation, Numerical approximation, Pluripotential theory
leonardpeter|bos*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7987

Boschi, Federico
Disciplinary sector FISICA APPLICATA (A BENI CULTURALI, AMBIENTALI, BIOLOGIA E MEDICINA)
Skills: Optical Imaging and Optical Microscopy
federico|boschi*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7816 - 7272 (lab.)

C

Calanca, Andrea
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
andrea|calanca*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7074

Caliari, Marco
Disciplinary sector ANALISI NUMERICA
Skills: Approximation of matrix exponential, Numerical approximation, Partial differential equations, initial value and time-dependent initial-boundary value problems
marco|caliari*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7904

Carra, Damiano
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Data intensive scalable computing, Networking systems , Networked embedded systems
damiano|carra*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7059

Castellani, Umberto
Disciplinary sector INFORMATICA
Skills: Computational Geometry, Image processing and computer vision, Neuroimaging, Pattern Recognition
umberto|castellani*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7988

Cicalese, Ferdinando
Disciplinary sector INFORMATICA
Skills: Algorithms and bioinformatics, Decision tree optimization
ferdinando|cicalese*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7969

Combi, Carlo
Disciplinary sector INFORMATICA
Skills: GeoProcessing Workflow, Health Information Systems, Information visualization of temporal data, Models for spatio-temporal granularities, Process-Aware Information Systems, Semistructured databases, Temporal Workflow Models, Workflow Systems in Medicine
carlo|combi*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7985

Cristani, Matteo
Disciplinary sector INFORMATICA
Skills: Intelligent Agents, Formal methods and theory of security, Network security, Automated Reasoning, Rappresentazione della conoscenza, Multiagent Systems
matteo|cristani*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7983

Cristani, Marco
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Computer forensics, Image processing and computer vision, Modellazione statistica di dati multimediali, Sistemi avanzati per il riconoscimento, Video Surveillance and Monitoring
marco|cristani*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7841

D

Daducci, Alessandro
Disciplinary sector BIOINGEGNERIA ELETTRONICA E INFORMATICA
Skills: Biomedical data processing, Multi-modal biomedical image processing, Neuroimaging, Neuroimaging Data Analysis
alessandro|daducci*univr|it <== Replace | with . and * with @ to have the right email address.   /  

Daffara, Claudia
Disciplinary sector FISICA APPLICATA (A BENI CULTURALI, AMBIENTALI, BIOLOGIA E MEDICINA)
Skills: Optical techniques for cultural heritage applications, Spectroscopy, microspectroscopy and imaging in the near and mid-infrared
claudia|daffara*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7942

Daldosso, Nicola
Disciplinary sector FISICA SPERIMENTALE
Skills: Interactions of matter with particles and radiation, Optical and electronic properties of nano-structured systems
nicola|daldosso*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 8027076 - 7828 (laboratorio)

Dalla Preda, Mila
Disciplinary sector INFORMATICA
Skills: Code synthesis, Formal software and application security, Protezione del software, Semantics, Static Analysis
mila|dallapreda*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7988

Di Persio, Luca
Disciplinary sector PROBABILITÀ E STATISTICA MATEMATICA
Skills: Stochastic analysis
luca|dipersio*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7968

Di Pierro, Alessandra
Disciplinary sector INFORMATICA
Skills: Lambda Calculus, Probabilistic Analysis of Security, Quantitative static analysis, Semantics of Probabilistic Languages, Topological Quantum Computation
alessandra|dipierro*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7971

F

Farinelli, Alessandro
Disciplinary sector INFORMATICA
Skills: Intelligent Agents, AI, Robotics & Automatic Control, Multiagent Systems
alessandro|farinelli*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7842

Fiorini, Paolo
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: AI, Robotics & Automatic Control
paolo|fiorini*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7963

Franco, Giuditta
Disciplinary sector INFORMATICA
Skills: Unconventional computation models, Biological network dynamics, Computational genomics and DNA computing
giuditta|franco*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7045

Fummi, Franco
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Embedded system design , Networking systems , Networked embedded systems, Embedded system verification
franco|fummi*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7994

G

Giachetti, Andrea
Disciplinary sector INFORMATICA
Skills: Computational Geometry, Image processing and computer vision
andrea|giachetti*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 8027998

Giacobazzi, Roberto
Disciplinary sector INFORMATICA
Skills: Code synthesis, Formal software and application security, Protezione del software, Semantics, Static Analysis
roberto|giacobazzi*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7995

Giugno, Rosalba
Disciplinary sector INFORMATICA
Skills: Unconventional computation models, Systems Biology, Computational Network Biology
rosalba|giugno*univr|it <== Replace | with . and * with @ to have the right email address.   /   0458027066

Gregorio, Enrico
Disciplinary sector ALGEBRA
Skills: General theory of categories and functors
Enrico|Gregorio*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7937

L

Liptak, Zsuzsanna
Disciplinary sector INFORMATICA
Skills: Algorithmic bioinformatics, String algorithms
zsuzsanna|liptak*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7032

M

Manca, Vincenzo
Disciplinary sector INFORMATICA
Skills: Unconventional computation models
vincenzo|manca*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7981

Mantese, Francesca
Disciplinary sector ALGEBRA
Skills: Abelian categories, General theory of categories and functors, Homological algebra, Modules, bimodules and ideals, Rings and algebras arising under various constructions
francesca|mantese*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7978

Marigonda, Antonio
Disciplinary sector ANALISI MATEMATICA
Skills: Hamilton-Jacobi theories, including dynamic programming, Manifolds
antonio|marigonda*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7809

Mariotto, Gino
Disciplinary sector FISICA SPERIMENTALE
Skills: Lattice dynamics, Micro- and nano-scale materials, Optical and vibrational properties
gino|mariotto*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 8027031

Marzola, Pasquina
Disciplinary sector FISICA APPLICATA (A BENI CULTURALI, AMBIENTALI, BIOLOGIA E MEDICINA)
Skills: Magnetic Resonance Imaging techniques
pasquina|marzola*univr|it <== Replace | with . and * with @ to have the right email address.   /   0458027614 lab. 0458027620

Masini, Andrea
Disciplinary sector INFORMATICA
Skills: Computability, Lambda Calculus, modal and temporal logics, proof theory, Linear logic, Type theory, Quantum computation theory
andrea|masini*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7922

Mastroeni, Isabella
Disciplinary sector INFORMATICA
Skills: Code synthesis, Formal software and application security, Protezione del software, Semantics, Static Analysis
isabella|mastroeni*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7089

Mazzuoccolo, Giuseppe
Disciplinary sector GEOMETRIA
Skills: Graph theory, Polytopes and polyhedra
giuseppe|mazzuoccolo*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 0458027838

Menegaz, Gloria
Skills: Biomedical data processing, Image processing and computer vision, Multi-modal biomedical image processing, Neuroimaging, Sparse signal processing
gloria|menegaz*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7024

Merro, Massimo
Disciplinary sector INFORMATICA
Skills: Formal methods for security analysis of cyber-physical systems, Models for concurrent, distributed, and mobile systems, Semantics of concurrent, distributed, and mobile systems, Verification of wireless network protocols
massimo|merro*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7992

Monti, Francesca
Disciplinary sector FISICA SPERIMENTALE
Skills: Optical techniques, Optical techniques for cultural heritage applications, Spatial light modulators, Spectroscopy, microspectroscopy and imaging in the near and mid-infrared
francesca|monti*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7910

Muradore, Riccardo
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: AI, Robotics & Automatic Control
riccardo|muradore*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7835

Murino, Vittorio
Disciplinary sector INFORMATICA
Skills: Behavior analysis, Computer Vision, Image processing and computer vision, Modellazione statistica di dati multimediali, Neuroimaging Data Analysis, Pattern Recognition, Sistemi avanzati per il riconoscimento, Video Surveillance and Monitoring
vittorio|murino*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7996

O

Oliboni, Barbara
Disciplinary sector INFORMATICA
Skills: Health Information Systems, Information visualization of temporal data, Semistructured databases
barbara|oliboni*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7077

Orlandi, Giandomenico
Disciplinary sector ANALISI MATEMATICA
Skills: Equations of mathematical physics and other areas of application, Manifolds
giandomenico.orlandi at univr.it   /   045 802 7986

P

Posenato, Roberto
Disciplinary sector INFORMATICA
Skills: Design and analysis of algorithms for graphs, Temporal Workflow Models, Workflow Systems in Medicine
roberto|posenato*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7967

Pravadelli, Graziano
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Embedded system design , Embedded system verification
graziano|pravadelli*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7081

Q

Quaglia, Davide
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Embedded system design , Networking systems , Networked embedded systems
davide|quaglia*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7811

R

Residori, Stefania
Disciplinary sector FISICA SPERIMENTALE
Skills: Nonlinear optics and liquid crystal systems, Spatial light modulators
stefania|residori*univr|it <== Replace | with . and * with @ to have the right email address.   /  

Rizzi, Romeo
Disciplinary sector RICERCA OPERATIVA
Skills: Algorithms for numerical algorithms; for combinatorics and graph theory, Discrete mathematics in relation to computer science, Graph theory, Mathematical programming, Operations research, Operations research and management science, Polytopes and polyhedra, Design and analysis of algorithms for graphs, Theory of computing
romeo|rizzi*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 8027088

Romeo, Alessandro
Disciplinary sector FISICA APPLICATA (A BENI CULTURALI, AMBIENTALI, BIOLOGIA E MEDICINA)
Skills: Micro- and nano-scale materials - Electrical properties, Optical and electronic properties of nano-structured systems
alessandro|romeo*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7974-7936; Lab: +39 045 802 7808

S

Sala, Pietro
Disciplinary sector INFORMATICA
Skills: Models for spatio-temporal granularities, Temporal Workflow Models, Workflow Systems in Medicine
pietro|sala*univr|it <== Replace | with . and * with @ to have the right email address.   /   0458027045

Schuster, Peter Michael
Disciplinary sector LOGICA MATEMATICA
Skills: Hilbert's Programme for Abstract Mathematics, Proof theory and constructive mathematics
peter|schuster*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7029

Segala, Roberto
Disciplinary sector INFORMATICA
Skills: Formal methods and theory of security, Modelli per sistemi ibridi, Modelli stocastici concorrenti, Probabilistic Analysis of Security
roberto|segala*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7997

Solitro, Ugo
Disciplinary sector INFORMATICA
Skills: Semantics, Teoria della dimostrazione e teoria dei tipi
ugo|solitro*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7977

Spoto, Nicola Fausto
Disciplinary sector INFORMATICA
Skills: Semantics, Static Analysis
fausto|spoto*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 8027940

V

Vigano', Luca
Disciplinary sector INFORMATICA
Skills: Formal methods and theory of security, Network security, Protezione del software, Software and application security, Software creation and management, Software Verification
luca|vigano*univr|it <== Replace | with . and * with @ to have the right email address.   /  

Villa, Tiziano
Disciplinary sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Basic CAD algorithms , Embedded system verification
tiziano|villa*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7034

Z

Zanatta, Marco
Disciplinary sector FISICA SPERIMENTALE
Skills: Disordered systems – Structural and vibrational properties, Micro- and nano-scale materials
marco|zanatta*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7093


A B C D F G L M O P Q R S V Z
62 People
 

PhD students

 

Research Fellows

 

Teaching Fellows

 

Technical and administrative staff

 

Student representatives

 

Tutors