Alessandro Gottoli Email & Phone Number

Verona, Italia

Nel primo periodo ho implementato alcune varianti di classificatore bayesiano multinomiale studiandone le caratteristiche dai paper e applicando alcune ottimizzazioni per lo specifico dominio di applicazione.Poi mi sono concentrato nello studio di tecniche di natural language processing basate su vettorizzazione delle parole che ho utilizzato per realizzare un classificatore su tassonomia cliente o standard UNSPSC. Questo classificatore viene utilizzato da diversi prodotti dell’azienda per pulire ed arricchire automaticamente i dati aziendali dei clienti (es. anagrafica ordini).Ho implementato anche diversi tool con interfaccia grafica utilizzati dai nostri analisti per lavorare con i dati dei clienti, estrarne informazione, ristrutturare l’albero di classificazione, presentare risultati, ...Nell’ultimo periodo sto lavorando all’algoritmo di ricerca duplicati utilizzando la classificazione e sviluppando tecniche ad-hoc analizzando la semantica dei dati. Il risultato ci permette di automatizzare gran parte del lavoro di analisi manuale e di migliorare le anagrafiche dei clienti analizzando i testi degli ordini e identificando oggetti simili anche se descritti in lingua diversa.

Verona Area, Italy

Sviluppo ed integrazione del back-end dell’analizzatore statico Julia, tra cui il servizio SOAP per l’interazione con il plugin di eclipse e il portale web. Ho avuto modo di partecipare anche allo sviluppo del portale web con tecnologia GWT e di acquisire una piccola base di sysop lavorando su virtual machine linux. Ho seguito un corso per la gestione dei servizi AWS di Amazon (EC2, VPC, Auto scaling, RDS,...) col quale ho potuto imparare a costruire una piccola rete cloud. Nell’ultimo periodo ho sviluppato un plugin con cui integrare l’analizzatore Julia con la piattaforma di gestione della qualità del software SonarQube.

Verona Area, Italy

Definizione di una nuova analisi statica di tipo constraint-based per Java bytecode. Si tratta di un'analisi di must-alias che calcola per ogni espressione sintattica del linguaggio E ad ogni punto di programma p, un insieme di espressioni il cui valore in p è uguale al valore di E in p, per ogni possibile path di esecuzione del programma. Il risultato di questa analisi può essere utilizzato per migliorare altre analisi inter-procedurali come Nullness, Termination e Deadcode Elimination.L'analisi è poi stata implementata in Java ed integrata nel tool di analisi statica Julia e gestisce il Java bytecode completo.Infine è stato implementato un nuovo checker che utilizza i risultati della nuova analisi per individuare i controlli inutili/ripetuti in un programma da analizzare, per esempio degli if di cui si riesce a capire staticamente il valore e che eseguiranno sempre lo stesso path.

Verona Area, Italy

Questo periodo di stage è stato utile perché mi ha fatto vedere per la prima volta il codice di un tool complesso come l'analizzatore statico Julia e mi ha permesso di migliorare la mia conoscenza del linguaggio Java per poter comprendere il codice esistente, modificarlo e poter implementare ed integrare nel tool dei nuovi checker che estraggono alcune nuove proprietà dai programmi analizzati.

Laurea Magistrale Lm In Ingegneria E Scienze Informatiche

Education record

Education record

Laurea Triennale In Informatica

Education record