People

Faculty

  

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

63 People

A

Albi, Giacomo
Academic sector NUMERICAL ANALYSIS
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: Homological algebra, Rings and algebras arising under various constructions, Abelian categories, Modules, bimodules and ideals, Representation theory of rings and algebras
lidia|angeleri*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7911

B

Baldo, Sisto
Academic sector MATHEMATICAL ANALYSIS
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 INFORMATION PROCESSING SYSTEMS
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 INFORMATION PROCESSING SYSTEMS
Skills: Bioinformatics and Computational Biology, Pattern Recognition, Computer Vision
manuele|bicego*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7072

Bloisi, Domenico Daniele
Academic sector INFORMATION PROCESSING SYSTEMS
Skills: Multiagent Systems, Video Surveillance and Monitoring, Computer Vision
domenico|bloisi*univr|it <== Replace | with . and * with @ to have the right email address.   /  

Bombieri, Nicola
Academic sector INFORMATION PROCESSING SYSTEMS
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 INFORMATICS
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 NUMERICAL ANALYSIS
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 APPLIED PHYSICS
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 INFORMATION PROCESSING SYSTEMS
andrea|calanca*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7846

Caliari, Marco
Academic sector NUMERICAL ANALYSIS
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 INFORMATION PROCESSING SYSTEMS
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 INFORMATICS
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 INFORMATICS
Skills: Algorithms for 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 INFORMATICS
Skills: Semistructured databases, GeoProcessing Workflow, Information visualization of temporal data, Models for spatio-temporal granularities, Temporal Workflow Models, Process-Aware Information Systems, Health Information Systems, 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 INFORMATICS
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 INFORMATION PROCESSING SYSTEMS
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 ELECTRONIC AND INFORMATICS BIOENGINEERING
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 APPLIED PHYSICS
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 EXPERIMENTAL PHYSICS
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 INFORMATICS
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 PROBABILITY AND STATISTICS
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 INFORMATICS
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 INFORMATICS
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 INFORMATION PROCESSING SYSTEMS
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 INFORMATICS
Skills: Bioinformatics and Natural Computing, 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 INFORMATION PROCESSING SYSTEMS
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 INFORMATION PROCESSING SYSTEMS
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 INFORMATICS
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 INFORMATICS
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 INFORMATICS
Skills: Bioinformatics and Natural Computing, 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 INFORMATICS
Skills: String algorithms, Algorithmic bioinformatics
zsuzsanna|liptak*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 045 802 7032

M

Manca, Vincenzo
Academic sector INFORMATICS
Skills: Bioinformatics and Natural Computing
vincenzo|manca*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7981

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

Marigonda, Antonio
Academic sector MATHEMATICAL ANALYSIS
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 EXPERIMENTAL PHYSICS
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 APPLIED PHYSICS
Skills: Magnetic Resonance Imaging techniques
pasquina|marzola*univr|it <== Replace | with . and * with @ to have the right email address.   /   0458027614

Masini, Andrea
Academic sector INFORMATICS
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 INFORMATICS
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 GEOMETRY
Skills: Polytopes and Polihedra, Graph Theory
giuseppe|mazzuoccolo*univr|it <== Replace | with . and * with @ to have the right email address.   /   +39 0458027838

Menegaz, Gloria
Academic sector INFORMATICS
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 INFORMATICS
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 EXPERIMENTAL PHYSICS
Skills: 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 INFORMATION PROCESSING SYSTEMS
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 INFORMATICS
Skills: Behavior analysis, Image processing and computer vision, Modellazione statistica di dati multimediali, Neuroimaging Data Analysis, Sistemi avanzati per il riconoscimento, Pattern Recognition, Video Surveillance and Monitoring, Computer Vision
vittorio|murino*univr|it <== Replace | with . and * with @ to have the right email address.   /   045 802 7996

O

Oliboni, Barbara
Academic sector INFORMATICS
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 MATHEMATICAL ANALYSIS
Skills: Equations of mathematical physics and other areas of application, Manifolds
giandomenico.orlandi at univr.it   /   045 802 7986

P

Posenato, Roberto
Academic sector INFORMATICS
Skills: Temporal Workflow Models, Design and analysis of algorithms for graphs, 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 INFORMATION PROCESSING SYSTEMS
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 INFORMATION PROCESSING SYSTEMS
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 EXPERIMENTAL PHYSICS
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 OPERATIONS RESEARCH
Skills: Combinatorial Algorithms and algorithmic graph theory, Discrete mathematics in relation to computer science, Operations research and management science, Polytopes and Polihedra, Design and analysis of algorithms for graphs, Mathematical programming, Operations research, 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 APPLIED PHYSICS
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 INFORMATICS
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 MATHEMATICAL LOGIC
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 INFORMATICS
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 INFORMATICS
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 INFORMATICS
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 INFORMATICS
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 INFORMATION PROCESSING SYSTEMS
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 EXPERIMENTAL PHYSICS
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