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 |
CSS e script comuni siti DOL - frase 9957