Una macchina di riduzione per il λ-calcolo con valutazione dei costi

Contatta l'autore »

Leonardo Simone

• Autore della tesi: Una macchina di riduzione per il λ-calcolo con valutazione dei costi ≫
• Autore della tesi: Prototipo di file sharing basato su tecnologia JXTA e reti Peer-to-Peer ≫

Studi

• Laurea II ciclo (magistrale o specialistica) in Informatica
  conseguita presso Università degli Studi di Torino nell'anno 2006-07
  con una votazione di 110 e lode
• Laurea I ciclo (triennale) in Informatica
  conseguita presso Università degli Studi di Torino nell'anno 2003-04
• Diploma di maturità conseguito presso il Istituto tecnico
  con votazione 95/100°

Esperienze lavorative

Lingue straniere

• Inglese parlato e scritto: discreto

Conoscenze informatiche

• Livello ottimo