| Argomento | Persone | Descrizione |
|---|---|---|
| Modelli formali della computazione |
Isabella Mastroeni
|
Studio di tecniche e modelli formali per la caratterizzazione di problemi di analisi e di safety nin sistemi computazionali di varia natura, come reti neurali e sistemi quantistici. |
| Modelli per sistemi concorrenti, distribuiti e mobili |
Massimo Merro
Michele Pasqua |
Calcoli di processo per sistemi concorrenti, distribuiti e con mobilità di codice e/o agenti. Più di recente, calcoli di processo per sistemi ciberfisici e sistemi IoT. |
| Modelli per sistemi ibridi |
Roberto Segala
|
Studio di modelli per la rappresentazione di sistemi concorrenti che esibiscono comportamenti sia discreti che continui. Uso dei modelli per l'analisi di sistemi distribuiti di controllo. |
| Modelli stocastici concorrenti |
Roberto Segala
|
Studio di modelli di concorrenza che includono comportamenti stocastici. Uso di tali modelli per l'analisi di sistemi distribuiti e di protocolli che fanno uso di primitive crittografiche. |
© 2025 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********
