Curriculum Vitae Giulio Pellitta Informazioni personali Indirizzo (residenza) (domicilio) Mobile E-mail Via Portuense 761 – 00148 Roma (RM) Via Augusto Murri 112 – 40137 Bologna (BO) c/o Pasquali +39 389 0813256 [email protected] LinkedIn https://it.linkedin.com/pub/giulio-pellitta/84/1b8/72a Cittadinanza Italiana Nato il 27/11/1984 Sesso Maschile Esperienza professionale 10/2015 – 11/2015 Stagista analista programmatore presso Systech Srl (Castel Maggiore, BO). Passaggio di un DB Firebird dell'applicativo Aurum in MySQL: caricamento dati con Talend Open Studio (tool ETL), rifacimento viste, stored procedure, trigger. Analisi ed elaborazione dati sensori Wenda: interpolazione dati, analisi OLAP con Saiku (tool data analytics web-based). 09/2015 – in corso Professore a contratto per "Laboratory of Computer Programming" (CdL Quantitative Finance). Introduzione alla programmazione in Python. Variabili, espressioni e comandi; Funzioni, condizionali e ricorsione; Iterazione; Tipi di dati. Debugging e problem solving. 11/2014 – in corso Supporto informatico (CdL Quantitative Finances) Sviluppo del database GRACE (Global Repository for Analysis of Career and Enrollment of Students). Analisi dei requisiti, progettazione, documentazione, creazione strumenti ETL, supporto, risoluzione bug. Utilizzo delle librerie Java SQLite-JDBC (database) e SWT (GUI). 10/2014 – in corso Docente di Informatica Base (CdL Economia e Gestione Aziendale ed Economia e Commercio) Fondamenti foglio elettronico, uso di Calc ed Excel. Progettazione di basi dati, uso comandi SQL in Base ed Access, query SELECT con Join, ordinamento, query raggruppate. 10/2011 – in corso Docente di Informatica Base, Piattaforma e-learning A3/Moodle Moduli trattati: Internet/WWW, Elaborazione di tesi, Foglio elettronico, Progettazione database, Creazione di Pagine Web. 02/2015 – 09/2015 Professore a contratto titolare modulo "Informatica 2" del C.I. "Fisica, Informatica e Statistica" Fondamenti foglio elettronico, uso di Calc ed Excel. Progettazione di basi dati, uso comandi SQL in Base ed Access, query SELECT con Join, ordinamento, operatori aggregati. 04/2011 – 10/2014 Docente di Sistemi Operativi – Dipartimento di Informatica (CdL Informatica per il Management) Lezioni su realizzazione di applicazioni client/server in Java (tramite Socket o Java RMI); definizione e presentazione specifiche progetto finale; correzione e valutazione progetti d'esame. 02/2012 – 06/2012 Docente di Informatica – Dipartimento di Matematica (CdL Matematica) Laboratorio di programmazione con Python 2.x. Utilizzo programma IDLE, introduzione shell Linux, programmazione imperativa, ricorsione/iterazione, dizionari, list comprehension. 09/2005 – 11/2005 Docente corso di Tecniche Informatiche di Base – Dipartimento di Matematica (CdL Matematica) Introduzione a UNIX, formattatore di testi LaTeX e software per calcolo scientifico “Mathematica” Istruzione e formazione 05/2015-07/2015 Pag. 1/2 - Curriculum vitae di Giulio Pellitta Corso di formazione “Analista Programmatore specializzato in Data Warehousing e Integrazione di Sistemi Informativi” - Futura Srl, San Giovanni in Persiceto (BO) Business Intelligence, Data mining, Big Data; modello E/R, SQL; progettazione logica DW, DFM, ETL Autorizzo il trattamento dei miei dati personali, ai sensi del D.lgs. 196 del 30/06/2003 01/2011 – 05/2014 Dottorato di Ricerca in Informatica, titolo tesi (tradotto) “Estensione della Complessità Computazionale Implicita e delle Macchine Astratte ai Linguaggi con Controllo” Linguaggi funzionali, Complessità Computazionale Implicita, Tipi e Linguaggi di Programmazione 03/2007 – 10/2010 Laurea Specialistica in Matematica (Logica Matematica e Informatica Teorica), 110 e lode Teoria dell'Informazione; Analisi Numerica, Sicurezza delle Reti, Programmazione a Oggetti (Java). 09/2003 – 02/2007 Laurea Triennale in Matematica (Matematica per l'Informatica e il Calcolo Scientifico), 110 e lode Informatica Teorica, Crittografia, Programmazione Imperativa (C); Statistica, Analisi numerica. 16/06/2011 – 02/07/2011 Scuola di dottorato (sponsorizzata da Jane Street Capital, Microsoft Research, Google e altri) 10th Oregon Programming Languages Summer School – University of Oregon Software Verification, Type Theory Foundation, Compiler Certification, Imperative Programming Pubblicazioni • G.P. “Extending Implicit Computational Complexity and Abstract Machines to Languages with Control”, Ph.D. Thesis, 2014 • Marco Pedicini, G.P., Mario Piazza “Sequential and Parallel Abstract Machines for Optimal Reduction”, Preproceedings of Trends in Functional Programming, 2014 • Ugo Dal Lago, G.P. “Complexity Analysis in Presence of Control Operators and Higher-Order Functions”, Proceedings of Logic for Programming Artificial Intelligence and Reasoning, 2013 • Ugo Dal Lago, G.P. “Complexity Analysis in Presence of Control Operators and Higher-Order Functions (long version)”, Technical Report, 2013 • Ugo Dal Lago, G.P. “Bounded Polarized Linear Logic”, Proceedings of Fourth Workshop on Developments in Implicit Computational Complexity, 2013 Capacità e competenze personali Madrelingua(e) Italiano Altra(e) lingua(e) Autovalutazione Livello europeo Inglese Francese Capacità e competenze informatiche Comprensione Ascolto Utente Lettura Parlato Interazione orale Scritto Produzione orale B1 autonomo C1 Utente avanzato B1 Utente autonomo B2 Utente autonomo B2 Utente autonomo A1 Utente base B1 Utente autonomo A1 Utente base A2 Utente base A1 Utente base Programmazione: C, Java (Eclipse), GameMaker (sviluppo OOP videogiochi), Octave/Matlab, R, Python (IDLE), linguaggi funzionali. HTML, MySQL. Principiante Javascript/PHP e C++. Sistemi operativi: Windows, Linux (Ubuntu). Documenti: Ms Office/LibreOffice, LaTeX. Altro: basi strumenti verifica formale (Coq/Matita), principi della crittografia, sicurezza dati e reti. Altre capacità e competenze Patente Mi piace andare in bicicletta, cucinare (anche dolci), ho seguito un corso di tango per principianti. Automobilistica (patente B) Ulteriori informazioni Membro Focus Research Team (FOundations of Component-based Ubiquitous Systems), INRIA. In visita presso Laboratoire d'Informatique de Paris Nord da Novembre 2012 a Maggio 2013. Rappresentante facente funzioni dei dottorandi di Informatica da Luglio 2013 a Maggio 2014. Pag. 2/2 - Curriculum vitae di Giulio Pellitta Autorizzo il trattamento dei miei dati personali, ai sensi del D.lgs. 196 del 30/06/2003