People

Faculty

  

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

63 People

A

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

Angeleri, Lidia
Academic 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
Academic 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
Academic sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Spatial query processing and optimization, Models for spatio-temporal granularities, Conceptual modeling of spatial databases, Geographical Information Systems & Spatial Data Infrastructures (SDI)
alberto|belussi*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7980

Bicego, Manuele
Academic 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
Academic 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
Academic 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
Academic 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
Academic sector ANALISI NUMERICA
Skills: Numerical approximation, Inequalities, Multivariate Polynomial Interpolation, Pluripotential theory
leonardpeter|bos*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7987

Boschi, Federico
Academic 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
Academic sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
andrea|calanca*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7846

Caliari, Marco
Academic 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
Academic 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
Academic 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
Academic 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
Academic sector INFORMATICA
Skills: Semistructured databases, GeoProcessing Workflow, Information visualization of temporal data, Models for spatio-temporal granularities, Process-Aware Information Systems, Health Information Systems, 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
Academic 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
Academic 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
Academic 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
Academic 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
Academic 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
Academic sector INFORMATICA
Skills: Static Analysis, Formal software and application security, Code protection, Program semantics, Code synthesis
mila|dallapreda*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7988

Di Persio, Luca
Academic 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
Academic 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
Academic 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
Academic 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
Academic 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
Academic 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

Geretti, Luca
Academic sector SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Skills: Basic CAD algorithms , Embedded system verification
luca|geretti*univr|it <== Replace | with . and * with @ to have the right email address.   /  

Giachetti, Andrea
Academic sector INFORMATICA
Skills: Computational Geometry, Image processing and computer vision, Interaction in Virtual Reality, Modeling and measurement of materials' appearance
andrea|giachetti*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 8027998

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

Giugno, Rosalba
Academic 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
Academic 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
Academic 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
Academic 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
Academic 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
Academic 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
Academic 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
Academic 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
Academic 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
Academic sector INFORMATICA
Skills: Static Analysis, Formal software and application security, Code protection, Program semantics, Code synthesis
isabella|mastroeni*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7089

Mazzuoccolo, Giuseppe
Academic sector GEOMETRIA
Skills: Polytopes and Polihedra, Graph Theory
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
Academic 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
Academic 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
Academic 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
Academic 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
Academic sector INFORMATICA
Skills: Semistructured databases, Information visualization of temporal data, Process-Aware Information Systems, Health Information Systems
barbara|oliboni*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7077

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

Romeo, Alessandro
Academic 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
Academic 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
Academic 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
Academic 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
Academic sector INFORMATICA
Skills: Program 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
Academic sector INFORMATICA
Skills: Static Analysis, Program semantics
fausto|spoto*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 8027940

V

Vigano', Luca
Academic sector INFORMATICA
Skills: Formal methods and theory of security, Network security, Code protection, 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
Academic 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
Academic 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
63 People
 

PhD students

 

Research Fellows

 

Teaching Fellows

 

Technical and administrative staff

 

Student representatives