Analisi probabilistica di programmi

  1. Home

Proposta di tesi

Analisi probabilistica di programmi

Garante
Roberto Giacobazzi
Corso di studi
Laurea in Informatica (vecchio ordinamento)

Descrizione

Tesi di ricerca di base sui domini astratti e la semantica per l'analisi di algoritmi probabilistici
(es. in quantum computing).

Offerta formativa

Condividi