Semantics and reasoning

Mila Dalla Preda
Professore associato
Alessandra Di Pierro
Professore associato
Roberto Giacobazzi
Professore ordinario
Isabella Mastroeni
Professore associato
Massimo Merro
Professore ordinario
Ugo Solitro
Ricercatore
Nicola Fausto Spoto
Professore associato
Margherita Zorzi
Ricercatore a tempo determinato
Competenze
Argomento Persone Descrizione
Semantica di programmi Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Ugo Solitro
Nicola Fausto Spoto
Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione.
Semantics of concurrent, distributed, and mobile systems Massimo Merro
Semantica operazionali per linguaggi concorrenti, distribuiti e con mobilita' di codice e/o agenti. Tecniche di specifica di verifica del buon comportamento di tali sistemi.
Semantics of Probabilistic Languages Alessandra Di Pierro
Margherita Zorzi
Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte.

Attività

Strutture

Condividi