Proposte tesi e stage

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).