People

Faculty

  

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

59 People

A

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

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

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
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
Disciplinary sector INFORMATICA
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, 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
pietro|sala*univr|it <== Replace | with . and * with @ to have the right email address.   /   0458027908

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: Modelli per sistemi ibridi, Modelli stocastici concorrenti
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
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
59 People
 

PhD students

 

Research Fellows

 

Teaching Fellows

 

Technical and administrative staff

 

Student representatives

 

Tutors