Postdoc - Università di Bologna

Sintesi

Titolo del progetto: “Fondamenta Formali per l’Analisi del Collegamento Micro-Macro in Sistemi Computazionali”. L’attività di ricerca si concentra sull’indagine e sviluppo di modelli formali per l’analisi del collegamento tra comportamenti locali (micro) e proprietà emergenti globali (macro) in sistemi computazionali formati da più entità interagenti. Il progetto prevede la definizione di modelli matematici e semant...

Requisiti principali

• Other