Research Team FOCUS

Il tema scientifico scelto per FOCUS (che sta per "FOundations of Component-based Ubiquitus Systems") è costituito dai fondamenti semantici dei sistemi software distribuiti. In questi sistemi, tecnicamente chiamati "sistemi ubiquitari", il software e' integrato nelle attività e negli oggetti del quotidiano (telefoni, TV, automobili, etc.) e puòfare parte di reti informatiche di grandi dimensioni. I sistemi ubiquitari rappresentano oggigiorno una delle aree piu' importanti e innovative dell'informatica.  Le strutture matematiche studiate nell'ambito di FOCUS sono pensate come strumenti per l'analisi e la sintesi di questi sistemi.  Permettono, ad esempio, di verificarne la correttezza, ma anche di sviluppare nuovi costrutti,o tecniche linguistiche, per meglio programmarli.

Partecipano a FOCUS otto docenti del Dipartimento di Scienze dell'Informazione dell'Universita' di Bologna (i Dr. Mario Bravetti, Ugo Dal Lago, Ivan Lanese, e i Prof. Maurizio Gabbrielli, Cosimo Laneve, Simone Martini, Davide Sangiorgi, Gianliugi Zavattaro), e una decina di dottorandi e post-dottorandi.