Interpretazione astratta probabilistica

Proposta di tesi

Interpretazione astratta probabilistica

Garante
Alessandra Di Pierro
Corso di studi
Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013), Laurea in Informatica (ordinamento fino all'a.a. 2008/09), Laurea specialistica in Informatica

Descrizione

Il problema che si vuole affrontare e' quello di dare una caratterizzazione in termini categoriali della relazione tra domini astratti e concreti nell'ambito dell'analisi approssimata di programmi probabilistici. A questo scopo si intende studiare la costruzione di categorie appropriate per rappresentare i domini probabilistici (spazi vettoriali e algebre di operatori).