Interpretazione astratta probabilistica

  1. Home
  2. Teaching
  3. Corsi di laurea specialistica
  4. Masters in Computer Science
  5. List of theses and work experience proposals

theses proposal

Interpretazione astratta probabilistica

Guarantor
Alessandra Di Pierro
Study courses
Bachelor in Computer Science (until 2008-2009 academic year), Masters in Computer Science, PhD in Computer Science (last activated in 2013)

Description

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

Share