Dal 20/12/2017 ad oggi Sviluppatore Business intelligence Gruppo GPI, Trento Creazione di reportistica cliente in QlikView per monitorare le prenotazioni CUP sanitarie e altri dati statistici in ambito medico organizzativo; Controllo delle prestazioni degli aggiornamenti periodici giornalieri e mensili della reportistica in QlikView; Interazione con i clienti e collaboratori interni alla azienda per problematiche di manutenzione della reportistica aziendale; Interrogazioni di basi di dati (database) Oracle e MySQL; Controllo e utilizzo di data warehouse come base di utilizzo di QlikView.

Dal 16/02/2016 al 19/12/2017 Sviluppatore Web Gruppo GPI, Trento Siti Web responsive per aziende in eZ Publish; utilizzo di linguaggi orientati al Web tra cui PHP, HTML, JavaScript (jQuery, AJAX, utilizzo di plugin), CSS (Bootstrap, Less, Sass); Applicazioni Web in AngularJs (Front end) e Java (Back end); Interazione con i clienti per problematiche di manutenzione; Definizione di schemi logici con SQL Developer Data Modeler; Interrogazioni di basi di dati (database) Oracle e Postgres. Dal 30/09/2015 al 15/02/2016 Docente Informatica ITT "M. Buonarroti", Trento Sistema numerico dal punto di vista di un elaboratore; Algoritmi elementari in C; Programmazione ad oggetti e applicazioni in Java; Strutture di dati e analisi della complessità algoritmica; Database; Risoluzione di esercizi logico numerici.

Dal 25/05/2015 al 23/09/2015 Sviluppatore Web Web Agency MadeinCima, Trento Siti Web per aziende clienti a tema personalizzato in WordPress; Programmazione in PHP per dinamicizzazione di pagine HTML (markup); Formattazione con fogli di stile CSS; Uso di plugin per WordPress: • ACF per creazione di campi personalizzati; • WPML per la gestione multilingua.

Dal 09/02/2015 al 03/04/2015 Tirocinante presso Ufficio Gestioni Patrimoniali Cassa Centrale Banca, Trento Briefing giornalierio sui mercati finanziari (Macroeconomico, Monetario e Valutario, Obbligazionario, Azionario); Analisi e monitoraggio di gestione di portafoglio di un fondo obbligazionario, introducendo una misura del rischio; Studio di modelli di gestione di portafoglio (Markowitz e BlackLitterman); Studio di modelli previsionali basati su equazioni differenziali stocastiche (Vasicek e C.I.R.); Analisi del ruolo di una gestione patrimoniale in una specifica linea di investimento finanziario basata sulla tipologia del cliente.

Dal 24/09/2014 al 12/10/2014 Docente Informatica Liceo Scientifico "L. da Vinci", Trento Architettura di un elaboratore. Sistema numerico dal punto di vista di un elaboratore. Rappresentazione digitale dei colori, immagini e video

Istruzione e formazione Dal 01/08/2012 al 30/04/2014 Completato primo anno di dottorato Università degli Studi di Trento, ICT Doctoral School (Computer Science) – FBK (unità DKM) “Integrating logical and statistical reasoning” Tecniche di Processamento del linguaggio naturale, utilizzo di ontologie, programmazione logica (Prolog); Revisione articolo in fase di pubblicazione in ambito di soddisfacibilità logica basata su formule probabilistiche in logica descrittiva; Tecniche di apprendimento automatico, studio di processi decisionali Markoviani. Paradigma di programmazione in parallelo MapReduce; Rappresentazione della conoscenza di particolari domini tramite logica descrittiva, logica fuzzy, logica temporale ramificata probabilistica; Tecniche di predizione strutturata (S-SVM), teoria dei grafi, anomaly detection, modelli stocastici basati su eventi; Esami superati: Technical English (B2); Research Methodology I; Machine Learning (da Magistrale in Informatica); Statistical Relational Learning; Summer School ESSLLI 2013; Logics for Knowledge Representation; Large-Scale Data Analytics and Data Mining. Da Marzo 2009 a Dicembre 2011 Laurea Specialistica in Matematica Università d. S. Trento, Facoltà di Scienze MMFFNN Voto 107/110 Tesi in Logica matematica “Teoria dei modelli per strutture metriche”. Programma LLP Erasmus di un anno accademico, 2009 – 2010, all'Università di Valencia (Spagna). Da Settembre 2005 a Marzo 2009 Laurea Triennale in Matematica Università d. S. Trento, Facoltà di Scienze MMFFNN Voto 110/110 Tesi in Geometria “Regolarizzazione di strutture differenziabili su varietà”. Esami particolari superati: Logica matematica, con introduzione alla teoria dei modelli; Teoria di Galois; Algebra computazionale; Analisi funzionale; Termodinamica; Elettromagnetismo; Computabilità. Da Settembre 2000 a Luglio 2005 Diploma di maturità scientifica Liceo Scientifico "L. da Vinci", Trento Piano Nazionale Informatica Voto 74/100 Partecipazione a gare scolastiche: squadra di scacchi per nazionali, olimpiadi della Matematica e Informatica, gare su Macchine di Turing

Skills Data mining e machine learning: • Estrazione di schemi a partire da un insieme di dati • Implementazione di algoritmi di Apprendimento Automatico specializzato in Python lato server e JavaScript lato client • Sperimentazione e approfondimento di tecniche di Apprendimento Automatico Profondo (Deep Learning) Ragionamento astratto e generalizzazione di casistiche diverse sotto un unico metodo Uso di sistemi operativi: Linux (Ubuntu), Windows

Lingue Italiano ◆◆◆◆◆ Inglese ◆◆◆◇◇ Spagnolo ◆◆◆◆◇ Tedesco ◆◇◇◇◇