Linguaggi e Quantum Computing

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

theses proposal

Linguaggi e Quantum Computing

Guarantor
Alessandra Di Pierro
Study courses
Masters in Computer Science, PhD in Computer Science (last activated in 2013)

Description

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

Share