• 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.

Curriculum Vitae *** ****
Informazioni personali
Indirizzo
(residenza) Via Portuense 761 – 00148 Roma (RM)
(domicilio) Via Augusto Murri 112 – 40137 Bologna (BO) c/o Pasquali
Mobile +39 389 0813256
E-mail ****@****.*** LinkedIn https://it.linkedin.com/pub/***-****/84/1b8/72a
Cittadinanza Italiana Nato il 27/11/1984 Sesso Maschile
Esperienza professionale
12/2015 – in corso Analista Programmatore presso Gesp s.r.l.
Consulente per Eni s.p.a., gruppo “Semantic Tecnologies” coordinato da Ing. Daniele Montanari.
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/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.
10/2015 – 12/2015 Tutor di Logica per l’Informatica (CdL Informatica).
Assistenza agli studenti in laboratorio per la risoluzione di esercizi con il software Matita
(http://matita.cs.unibo.it/), strumento per la dimostrazione assistita. Correzione esercizi.
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 Corso di formazione “Analista Programmatore specializzato in Data Warehousing e Integrazione di
Sistemi Informativi” – Futura Srl, San Giovanni in Persiceto (BO) – Qualifica conseguita il 16/12/2015
Business Intelligence, Data mining, Big Data; modello E/R, SQL; progettazione logica DW, DFM, ETL
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
Pag. 1/2 – Curriculum vitae di *** **** Autorizzo il trattamento dei miei dati personali, ai sensi del D.lgs. 196 del 30/06/2003
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 Comprensione Parlato Scritto
Livello europeo Ascolto Lettura Interazione orale Produzione orale
Inglese B1 Utenteautonomo C1 Utente avanzato B1 Utente autonomo B2 Utente autonomo B2 Utente autonomo
Francese A1 Utente base B1 Utente autonomo A1 Utente base A2 Utente base A1 Utente base
Capacità e competenze
informatiche
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 Mi piace andare in bicicletta, cucinare (anche dolci), ho seguito un corso di tango per principianti.
Patente Automobilistica (patente B)
Ulteriori informazioni INRIA/Focus Team (FOundations of Component-based Ubiquitous Systems), da 2011 a 2015.
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 *** **** Autorizzo il trattamento dei miei dati personali, ai sensi del D.lgs. 196 del 30/06/2003