Persone

Docenti

  

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

63 Persone

A

Albi, Giacomo
Settore disciplinare ANALISI NUMERICA
Competenze: Equazioni alle derivate parziali, problemi ai limiti e ai valori iniziali dipendenti dal tempo, Equazioni della fisica matematica e altre aree di applicazione, Equazioni differenziali ordinarie e applicazioni
giacomo|albi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7913

Angeleri, Lidia
Settore disciplinare ALGEBRA
Competenze: Algebra omologica, Anelli e algebre dati da varie construzioni, Categorie abeliane, Moduli, bimoduli e ideali, Representation theory of rings and algebras
lidia|angeleri*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7911

B

Baldo, Sisto
Settore disciplinare ANALISI MATEMATICA
Competenze: Existence theories, Manifolds, Optimality conditions, Variational principles of physics
sisto|baldo*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7935

Belussi, Alberto
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Esecuzione ed ottimizzazione di interrogazioni spaziali, Modelli per granularità spazio-temporali, Progettazione concettuale di basi di dati spaziali, Sistemi informativi geografici & Infrastrutture per i dati spaziali
alberto|belussi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7980

Bicego, Manuele
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Bioinformatica e Biologia Computazionale, Teorie e Tecniche del Riconoscimento, Visione Computazionale
manuele|bicego*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7072

Bloisi, Domenico Daniele
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Sistemi Multiagente, Video Surveillance and Monitoring, Visione Computazionale
domenico|bloisi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /  

Bombieri, Nicola
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Architetture avanzate e parallele, Progettazione di sistemi embedded
nicola|bombieri*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7094

Bonacina, Maria Paola
Settore disciplinare INFORMATICA
Competenze: Ragionamento automatico, Verifica del software
mariapaola|bonacina*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7046

Bos, Leonard Peter
Settore disciplinare ANALISI NUMERICA
Competenze: Approssimazione numerica, Inequalities, Multivariate Polynomial Interpolation, Pluripotential theory
leonardpeter|bos*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7987

Boschi, Federico
Settore disciplinare FISICA APPLICATA (A BENI CULTURALI, AMBIENTALI, BIOLOGIA E MEDICINA)
Competenze: Optical Imaging and Optical Microscopy
federico|boschi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7816 - 7272 (lab.)

C

Calanca, Andrea
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
andrea|calanca*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7846

Caliari, Marco
Settore disciplinare ANALISI NUMERICA
Competenze: Approssimazione dell'esponenziale di matrice, Approssimazione numerica, Equazioni alle derivate parziali, problemi ai limiti e ai valori iniziali dipendenti dal tempo
marco|caliari*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7904

Carra, Damiano
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Analisi di grandi quantità di dati, Sistemi di rete, Sistemi embedded di rete
damiano|carra*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7059

Castellani, Umberto
Settore disciplinare INFORMATICA
Competenze: Computational Geometry, Image processing and computer vision, Neuroimaging, Teorie e Tecniche del Riconoscimento
umberto|castellani*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7988

Cicalese, Ferdinando
Settore disciplinare INFORMATICA
Competenze: Algoritmi per la Bioinformatica, Ottimizzazione di Alberi di Decisione
ferdinando|cicalese*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7969

Combi, Carlo
Settore disciplinare INFORMATICA
Competenze: Basi di dati semistrutturate, Diagrammi di flusso per applicazioni geografiche, Information visualization of temporal data, Modelli per granularità spazio-temporali, Modelli Temporali basati su Workflow, Sistemi Informativi orientati ai processi, Sistemi Informativi Sanitari, Workflow per la sanità
carlo|combi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7985

Cristani, Matteo
Settore disciplinare INFORMATICA
Competenze: Agenti intelligenti, Formal methods and theory of security, Network security, Ragionamento automatico, Rappresentazione della conoscenza, Sistemi Multiagente
matteo|cristani*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7983

Cristani, Marco
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: 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 <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7841

D

Daducci, Alessandro
Settore disciplinare BIOINGEGNERIA ELETTRONICA E INFORMATICA
Competenze: Biomedical data processing, Multi-modal biomedical image processing, Neuroimaging, Neuroimaging Data Analysis
alessandro|daducci*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /  

Daffara, Claudia
Settore disciplinare FISICA APPLICATA (A BENI CULTURALI, AMBIENTALI, BIOLOGIA E MEDICINA)
Competenze: Optical techniques for cultural heritage applications, Spettroscopia, micro-spettroscopia e imaging nel vicino e medio infrarosso.
claudia|daffara*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7942

Daldosso, Nicola
Settore disciplinare FISICA SPERIMENTALE
Competenze: Interactions of matter with particles and radiation, Optical and electronic properties of nano-structured systems
nicola|daldosso*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 8027076 - 7828 (laboratorio)

Dalla Preda, Mila
Settore disciplinare INFORMATICA
Competenze: Analisi statica, Aspetti formali di sicurezza del software, Protezione del software, Semantica di programmi, Sintesi di codice
mila|dallapreda*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7988

Di Persio, Luca
Settore disciplinare PROBABILITÀ E STATISTICA MATEMATICA
Competenze: Analisi stocastica
luca|dipersio*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7968

Di Pierro, Alessandra
Settore disciplinare INFORMATICA
Competenze: Lambda Calculus, Probabilistic Analysis of Security, Quantitative Static Analysis, Semantics of Probabilistic Languages, Topological Quantum Computation
alessandra|dipierro*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7971

F

Farinelli, Alessandro
Settore disciplinare INFORMATICA
Competenze: Agenti intelligenti, Robotica, Sistemi Multiagente
alessandro|farinelli*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7842

Fiorini, Paolo
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Robotica
paolo|fiorini*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7963

Franco, Giuditta
Settore disciplinare INFORMATICA
Competenze: Bioinformatics and Natural Computing, Biological network dynamics, Computational genomics and DNA computing
giuditta|franco*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7045

Fummi, Franco
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Progettazione di sistemi embedded, Sistemi di rete, Sistemi embedded di rete, Verifica di sistemi embedded
franco|fummi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7994

G

Geretti, Luca
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Algoritmi CAD di base, Verifica di sistemi embedded
luca|geretti*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /  

Giachetti, Andrea
Settore disciplinare INFORMATICA
Competenze: Computational Geometry, Image processing and computer vision, Interazione in Realtà Virtuale, Modellazione e misura di appearance di materiali
andrea|giachetti*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 8027998

Giacobazzi, Roberto
Settore disciplinare INFORMATICA
Competenze: Analisi statica, Aspetti formali di sicurezza del software, Protezione del software, Semantica di programmi, Sintesi di codice
roberto|giacobazzi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7995

Giugno, Rosalba
Settore disciplinare INFORMATICA
Competenze: Bioinformatics and Natural Computing, Systems Biology, Computational Network Biology
rosalba|giugno*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   0458027066

Gregorio, Enrico
Settore disciplinare ALGEBRA
Competenze: General theory of categories and functors
Enrico|Gregorio*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7937

L

Liptak, Zsuzsanna
Settore disciplinare INFORMATICA
Competenze: Algoritmi su stringhe, Bioinformatica algoritmica
zsuzsanna|liptak*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7032

M

Manca, Vincenzo
Settore disciplinare INFORMATICA
Competenze: Bioinformatics and Natural Computing
vincenzo|manca*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7981

Mantese, Francesca
Settore disciplinare ALGEBRA
Competenze: Algebra omologica, Anelli e algebre dati da varie construzioni, Categorie abeliane, Moduli, bimoduli e ideali
francesca|mantese*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7978

Marigonda, Antonio
Settore disciplinare ANALISI MATEMATICA
Competenze: Hamilton-Jacobi theories, including dynamic programming, Manifolds
antonio|marigonda*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7809

Mariotto, Gino
Settore disciplinare FISICA SPERIMENTALE
Competenze: Lattice dynamics, Micro- and nano-scale materials, Optical and vibrational properties
gino|mariotto*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 8027031

Marzola, Pasquina
Settore disciplinare FISICA APPLICATA (A BENI CULTURALI, AMBIENTALI, BIOLOGIA E MEDICINA)
Competenze: Magnetic Resonance Imaging techniques
pasquina|marzola*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   0458027614 lab. 0458027620

Masini, Andrea
Settore disciplinare INFORMATICA
Competenze: Computability, Lambda Calculus, modal and temporal logics, proof theory, Linear logic, Type theory, Quantum computation theory
andrea|masini*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7922

Mastroeni, Isabella
Settore disciplinare INFORMATICA
Competenze: Analisi statica, Aspetti formali di sicurezza del software, Protezione del software, Semantica di programmi, Sintesi di codice
isabella|mastroeni*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7089

Mazzuoccolo, Giuseppe
Settore disciplinare GEOMETRIA
Competenze: Politopi e Poliedri, Teoria dei Grafi
giuseppe|mazzuoccolo*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 0458027838

Menegaz, Gloria
Settore disciplinare INFORMATICA
Competenze: Biomedical data processing, Image processing and computer vision, Multi-modal biomedical image processing, Neuroimaging, Sparse signal processing
gloria|menegaz*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7024

Merro, Massimo
Settore disciplinare INFORMATICA
Competenze: 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 networks protocols
massimo|merro*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7992

Monti, Francesca
Settore disciplinare FISICA SPERIMENTALE
Competenze: Optical techniques for cultural heritage applications, Spatial light modulators, Spettroscopia, micro-spettroscopia e imaging nel vicino e medio infrarosso.
francesca|monti*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7910

Muradore, Riccardo
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Robotica
riccardo|muradore*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7835

Murino, Vittorio
Settore disciplinare INFORMATICA
Competenze: Behavior analysis, Image processing and computer vision, Modellazione statistica di dati multimediali, Neuroimaging Data Analysis, Sistemi avanzati per il riconoscimento, Teorie e Tecniche del Riconoscimento, Video Surveillance and Monitoring, Visione Computazionale
vittorio|murino*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7996

O

Oliboni, Barbara
Settore disciplinare INFORMATICA
Competenze: Basi di dati semistrutturate, Information visualization of temporal data, Sistemi Informativi orientati ai processi, Sistemi Informativi Sanitari
barbara|oliboni*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7077

Orlandi, Giandomenico
Settore disciplinare ANALISI MATEMATICA
Competenze: Equazioni della fisica matematica e altre aree di applicazione, Manifolds
giandomenico.orlandi at univr.it   /   045 802 7986

P

Posenato, Roberto
Settore disciplinare INFORMATICA
Competenze: Modelli Temporali basati su Workflow, Progettazione e analisi algoritmi per grafi, Workflow per la sanità
roberto|posenato*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7967

Pravadelli, Graziano
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Progettazione di sistemi embedded, Verifica di sistemi embedded
graziano|pravadelli*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7081

Q

Quaglia, Davide
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Progettazione di sistemi embedded, Sistemi di rete, Sistemi embedded di rete
davide|quaglia*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7811

R

Residori, Stefania
Settore disciplinare FISICA SPERIMENTALE
Competenze: Nonlinear optics and liquid crystal systems, Spatial light modulators
stefania|residori*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /  

Rizzi, Romeo
Settore disciplinare RICERCA OPERATIVA
Competenze: Algoritmi per problemi combinatorici e teoria dei grafi algoritmica, Matematica Discreta entro l'Informatica, Operations research and management science, Politopi e Poliedri, Progettazione e analisi algoritmi per grafi, Programmazione Matematica, Ricerca Operativa, Teoria dei Grafi, Teoria della computazione
romeo|rizzi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 8027088

Romeo, Alessandro
Settore disciplinare FISICA APPLICATA (A BENI CULTURALI, AMBIENTALI, BIOLOGIA E MEDICINA)
Competenze: Micro- and nano-scale materials - Electrical properties, Optical and electronic properties of nano-structured systems
alessandro|romeo*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7974-7936; Lab: +39 045 802 7808

S

Sala, Pietro
Settore disciplinare INFORMATICA
Competenze: Modelli per granularità spazio-temporali, Modelli Temporali basati su Workflow, Workflow per la sanità
pietro|sala*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   0458027045

Schuster, Peter Michael
Settore disciplinare LOGICA MATEMATICA
Competenze: Il programma di Hilbert per la matematica astratta, Teoria della dimostrazione e matematica costruttiva
peter|schuster*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7029

Segala, Roberto
Settore disciplinare INFORMATICA
Competenze: Formal methods and theory of security, Modelli per sistemi ibridi, Modelli stocastici concorrenti, Probabilistic Analysis of Security
roberto|segala*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   045 802 7997

Solitro, Ugo
Settore disciplinare INFORMATICA
Competenze: Semantica di programmi, Teoria della dimostrazione e teoria dei tipi
ugo|solitro*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7977

Spoto, Nicola Fausto
Settore disciplinare INFORMATICA
Competenze: Analisi statica, Semantica di programmi
fausto|spoto*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 8027940

V

Vigano', Luca
Settore disciplinare INFORMATICA
Competenze: Formal methods and theory of security, Network security, Protezione del software, Software and application security, Software creation and management, Verifica del software
luca|vigano*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /  

Villa, Tiziano
Settore disciplinare SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Competenze: Algoritmi CAD di base, Verifica di sistemi embedded
tiziano|villa*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7034

Z

Zanatta, Marco
Settore disciplinare FISICA SPERIMENTALE
Competenze: Disordered systems – Structural and vibrational properties, Micro- and nano-scale materials
marco|zanatta*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.   /   +39 045 802 7093


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

Collaboratori alla ricerca

 

Dottorandi

 

Collaboratori alla didattica

 

Personale tecnico-amministrativo

 

Rappresentanti degli studenti

 

Organizzazione

Strutture del dipartimento