15/05/2018 – alla data attuale

Software Developer presso Insurance Online S.p.a

• Utilizzo del framework Visual Studio.
• Sviluppo e manutenzione software lato front-end/back-end in Visual Basic e C#.
• Sviluppo e manutenzione software lato web in javascript.
•  Manipolazione di file e dati in formato XML.
•  Interazione con database relazionali utilizzando SQL Server. ▪
• Configurazione e personalizzazione del software tramite strumenti di configurazione interni.
   

ISTRUZIONE E FORMAZIONE 09/2008–07/2013 Diploma di ragioniere perito commerciale e programmatore I.T.C.G Mattei Via Ugo Foscolo 48, 09033 Decimomannu (Italia) http://itcgmattei.it/ ▪ Conoscenza teorica e pratica delle rilevazioni in partita doppia. ▪ Conoscenza di base di un linguaggio Object Oriented (Visual Basic). ▪ Conoscenza dei linguaggi Html, Css, Php e MySql per l'implementazione di siti web dinamici. ▪ Conoscenza del diritto privato, commerciale e pubblico. 09/2013–09/2015 Dipartimento di Ingegneria dell'informazione Largo Lucio Lazzarino 2, 56122 Pisa (Italia) http://ce.iet.unipi.it/index.php/it/bce ▪ Conoscenze di base sulla teoria delle funzioni di una variabile reale. ▪ Conoscenze relative a spazi vettoriali, applicazioni lineari, matrici, autovalori di una matrice. ▪ Conoscenze sugli spazi euclidei, sul calcolo differenziale ed integrale di funzioni in più variabili, sul calcolo di integrali curvilinei e superficiali, sulle forme differenziali e sulle formule di Gauss-Green. ▪ Conoscenza dei linguaggi GNU Assembler, C, C++ ▪ Progettazione, organizzazione e interrogazione di basi di dati. ▪ Conoscenze di strutture dati e tecniche algoritmiche (di base) che consentono la risoluzione di problemi su liste, alberi e grafi, in modo efficiente in tempo e/o spazio. ▪ Conoscenze relative alla risoluzione numerica di sistemi lineari e di equazioni non lineari, al calcolo di integrali definiti, alla approssimazione di funzioni mediante polinomi interpolanti ed alla approssimazione degli autovalori di una matrice. 09/2015–alla data attuale Dipartimento di Informatica Largo B. Pontecorvo 3, 56127 Pisa (Italia) https://www.di.unipi.it/it/didattica/inf-l ▪ Conoscenza del calcolo proposizionale, della logica del primo ordine e delle triple di Hoare, con alcune tecniche di dimostrazione e verifica, e con la formalizzazione di asserzioni in linguaggio naturale. ▪ Utilizzo di strumenti rigorosi di tipo matematico per problemi di decisioni ottime in presenza di risorse limitate. ▪ Conoscenza di base dei sistemi di elaborazione ai vari livelli e delle relazioni che i sistemi hanno con gli strumenti di programmazione (linguaggi, compilatori, interpreti). ▪ Conoscenza dei concetti principali e dei metodi che stanno alla base della progettazione e sviluppo di sistemi intelligenti. ▪ Conoscenza degli strumenti logici, analitici e numerici, propri della teoria delle Probabilità, per la risoluzione di problemi formulati in contesti di incertezza ed informazione incompleta. ▪ Conoscenza di base delle problematiche dei sistemi operativi e delle caratteristiche dei sistemi attualmente più usati. ▪ Utilizzo del linguaggio C in ambiente GNU per lo sviluppo di applicazioni di sistema e programmazione di script in linguaggio bash. ▪ Utilizzo del linguaggio Java per lo sviluppo di applicazioni di rete in ambiente multithreading.

COMPETENZE PERSONALI Lingua madre italiano Lingue straniere inglese B1 

Competenze organizzative e gestionali Capacità di organizzare e redigere lavori e progetti (perlopiù grazie all'impegno personale e all'insegnamento scolastico).