Proposte tesi e stage

  1. Home
  2. Didattica
  3. Corsi di laurea magistrale / specialistica (a esaurimento / disattivati)
  4. Laurea specialistica in Informatica

Proposta di tesi

Linguaggi e Quantum Computing


Garante
Alessandra Di Pierro
Corso di studi
Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013), Laurea specialistica in Informatica
Descrizione:
Nell'ambito dei linguaggi di programmazione quantistica si vogliono studiare le strutture matematiche (domini) per definire (vari tipi di) semantiche per tali linguaggi e le tecniche appropriate per l'analisi statica delle loro proprieta'.


© 2002 - 2025  Università degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234