Skip to content

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

Studi

  • Laurea liv.II (specialistica) in Informatica
    conseguita presso Università degli Studi di Torino nell'anno 2006-07
    con una votazione di 110 e lode
  • Laurea liv.I 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

  • Dal 2008 lavora presso Tierra S.p.A. nel settore Informatica - Telecomunicazioni
    Mansione: Analista Sviluppatore Software

    Commento personale: Analisi e sviluppo, in ambiente JAVA e Microsoft .NET con DBMS PostgreSQL, di un sistema Real-Time per la telemetria, il controllo remoto e la geolocalizzazione di mezzi operanti nel settore agricolo e delle costruzioni.

  • Dal 2007 ha lavorato presso Reply S.p.A. nel settore Informatica - Telecomunicazioni
    Mansione: Consulente Informatico

Lingue straniere

  • Inglese parlato e scritto: discreto

Conoscenze informatiche

  • Livello ottimo