| Argomento | Area di ricerca |
|---|---|
| Algoritmi CAD di base | Sistemi ciberfisici Electronic design automation |
| Algoritmi per problemi combinatorici e teoria dei grafi algoritmica | Matematica discreta e computazionale Computer science |
| Formal methods and theory of security | Ingegneria del Software e Sicurezza Formal methods and theory of security |
| Matematica Discreta entro l'Informatica | Matematica discreta e computazionale Computer science |
| Modelli per sistemi ibridi | Informatica teorica Models of computation |
| Modelli stocastici concorrenti | Informatica teorica Models of computation |
| Operations research and management science | Matematica discreta e computazionale Operations research, mathematical programming |
| Politopi e Poliedri | Matematica discreta e computazionale Polytopes and polyhedra |
| Probabilistic Analysis of Security | Ingegneria del Software e Sicurezza Formal methods and theory of security |
| Progettazione di sistemi embedded | Sistemi ciberfisici Embedded and cyber-physical systems |
| Progettazione e analisi algoritmi per grafi | Informatica teorica Design and analysis of algorithms |
| Programmazione Matematica | Matematica discreta e computazionale Operations research, mathematical programming |
| Ricerca Operativa | Bioinformatica e informatica medica Operations research |
| Robotica |
Sistemi robotici e automazione
Sistemi robotici e automazione |
| Sistemi di rete | Sistemi ciberfisici Network architectures |
| Sistemi embedded di rete | Sistemi ciberfisici Embedded and cyber-physical systems |
| Teoria dei Grafi | Matematica discreta e computazionale Graph theory |
| Teoria della computazione | Matematica discreta e computazionale Computer science |
| Verifica di sistemi embedded | Sistemi ciberfisici Hardware validation |
© 2023 | Università degli studi di Verona
CSS e script comuni siti DOL - frase 9957
