curriculumvitae - Amministrazione Trasparente

CURRICULUM VITAE
INFORMAZIONI PERSONALI
Nome
Data di nascità
Nazionalità
E-mail
ALBERT SHAQIRI
06 Aprile 1984
Slovena
[email protected]
POSIZIONE ATTUALE
Stuende PhD presso L'Università degli Studi di Milano
• Date (da – a)
• Nome e indirizzo del datore di
lavoro
• Tipo di azienda o settore
• Tipo di impiego
01/2014 – in corso
Università degli studi di Milano, Via Comelico 39/41, 21100 Milano
Università pubblica
Studente PhD
Titolare della borsa di studio. Ricerca nell'ambito di: linguaggi di programmazione, progettazione
e sviluppo di traduttori e interpreti, verifica formale dei compilatori, ottimizzazione
ESPERIENZA DI LAVORO
• Date (da – a)
• Nome e indirizzo del datore di
lavoro
• Tipo di azienda o settore
• Tipo di impiego
03/2013 – 12/2013
Università degli studi del Piemonte orientale »Amedeo Avogadro«, Dipartimento di Scienze ed
Innovazione tecnologica, Viale Teresa Mitchel 11, 15121 Alessandria
Università pubblica
Ricerca
Titolare della borsa di supporto alla ricerca relativa al progetto: “Sviluppo e formalizzazione di un
compilatore da linguaggio funzionale a linguaggi di scripting”, relatore prof. Paola Giannini.
Stesura dell’articolo scientifico “An intermediate language for compilation to scripting languages”
presentato alla conferenza ICTCS 2013 a Reykjavík il 30 luglio 2013.
ESPERIENZA DI LAVORO
• Date (da – a)
• Nome e indirizzo del datore di
lavoro
• Tipo di azienda o settore
• Tipo di impiego
• Principali mansioni e responsabilità
03/2012 – 01/2013
Algorithmedia s.r.l., Corso Virginia Marini 23, 15121 Alessandria, Italia
Sviluppo software e servizi web
Sviluppatore
Sviluppo e mantenimento software relativo al servizio di contestualizzazione e di tracciamento ai
fini pubblicitari; search retargeting, business intelligence
ESPERIENZA DI LAVORO
• Date (da – a)
• Nome e indirizzo del datore di
lavoro
• Tipo di azienda o settore
• Tipo di impiego
11/2012 – 01/2012
Università degli studi del Piemonte orientale »Amedeo Avogadro«, Dipartimento di Scienze ed
Innovazione tecnologica, Viale Teresa Mitchel 11, 15121 Alessandria
Università pubblica
Tutore
Insegnamento e assistenza nello svolgimento del progetto di laboratorio per il corso di
Apprendimento automatico nel Corso di Laurea magistrale in Informatica e DMKM (Master
internazionale, programma Erasmus)
ISTRUZIONE E FORMAZIONE
• Date (da – a)
• Nome e tipo di istituto di istruzione
o formazione
• Principali materie / abilità
professionali oggetto dello studio
• Qualifica conseguita
2009-2013
Università degli studi del Piemonte Orientale “Amedeo Avogadro”, Corso di Laurea Magistrale in
Informatica
Linguaggi di programmazione, Servizi Web, Intelligenza Artificiale: Apprendimento automatico,
Cloud computing, Complessità
Dottore magistrale in Informatica (voto finale: 110 e lode)
Titolo tesi: Leveraging dynamic typing through static typing
ISTRUZIONE E FORMAZIONE
• Date (da – a)
• Nome e tipo di istituto di istruzione
o formazione
12/2011 – 03/2012
Borsa di supporto alla ricerca relativa al progetto “Sviluppo di un Domain Specific Language
scritto in F# per costruire server-side Graphical User Interface web ExtJs”
ISTRUZIONE E FORMAZIONE
• Date (da – a)
• Nome e tipo di istituto di istruzione
o formazione
• Principali materie / abilità
professionali oggetto dello studio
• Qualifica conseguita
2003-2009
Univerza v Ljubljani, Fakulteta za računalništvo in informatiko (Università di Lubiana, Facoltà di
Informatica) + Università degli studi del Piemonte Orientale “Amedeo Avogadro”
Linguaggi di programmazione, Intelligenza artificiale, Sistemi operativi, Reti, Sicurezza
Dottore in Informatica (voto finale: 107/110)
Titolo tesi: Interpreting vs. Compiling, a case study in performance evaluation
ISTRUZIONE E FORMAZIONE
• Date (da – a)
• Nome e tipo di istituto di istruzione
o formazione
• Principali materie / abilità
professionali oggetto dello studio
• Qualifica conseguita
1998-2002
Srednja šola za elektrotehniko in računalništvo (Scuola superiore per l'elettrotecnica e
informatica) di Ljubljana (Slovenia)
Elettrotecnica, Algoritmi e linguaggi di programmazione, Sistemi informatici e reti
Diploma di Perito informatico
CONOSCENZA DI LINGUE
Sloveno
Inglese
Italiano
Albanese
Serbo
Lettura
Eccellente
Eccellente
Eccellente
Eccellente
Eccellente
Scrittura
Eccellente
Buona
Eccellente
Buona
Buona
Espressione orale
Eccellente
Buona
Eccellente
Buona
Buona
CAPACITÀ E COMPETENZE RELAZIONALI
Le esperienze lavorative e formative mi hanno permesso di accresscere le mie capacità di interazione con persone di varie competenze e
capacità, di lavoro di squadra e di integrazione in nuovi ambienti di lavoro. Inoltre, ho imparato in misura maggiore ad ascoltare coloro che
hanno più esperienza di me.
CAPACITÀ E COMPETENZE TECNICHE
Buona conoscenza della teoria dei linguaggi di progremmazione (paradigmi imperativo, funzionale, ad oggetti e a dichiarativo) sostenuta da
progetti concreti tra cui:
• progettazione e sviluppo di un compilatore dal linguaggio funzionale F# a linguaggi di scripting (JavaScript, Python, …), insieme
alla formalizzazione della traduzione
• sviluppo di un domain-specific language scritto in F# per costruire server-side GUI con ExtJs
• sviluppo di un domain-specific language per la manipolazione di AST ai fini di ottimizzazione degli interpreti
• formalizzazione della composizione di linguaggi con il Neverlang framework
• ottimizzazione a runtime di interpreti
• sostenibilità basat sui micro-languages
PUBLICAZIONE
Titolo
Formal Attributes Traceability in Modular Language Development Frameworks
Autori
Walter Cazzola, Paola Giannini, Albert Shaqiri
Conferenza o rivista
Luogo e data
ICTCS: Italian Conference on Theoretical Computer Science 2015
Firenze, 11 Settembre 2015
PUBLICAZIONE
Titolo
A Provenly Correct Compilation of Functional Languages into Scripting Languages
Autori
Paola Giannini, Albert Shaqiri
Conferenza o rivista
Luogo e data
Computer Scince Institute, DiSIT, Universita' del Piemonte Orientale
2014
PUBLICAZIONE
Titolo
Neverlang 2: a framework for modular language implementation
Autori
Walter Cazzola, Edoardo Vacchi, Diego Mathias Olivares, Albert Shaqiri
Conferenza o rivista
Luogo e data
Modularity '14
Lugano, Svizzera, 22 Aprile 2014
PUBLICAZIONE
Titolo
Compiling Functional to Scripting Languages
Autori
Paola Giannini, Albert Shaqiri
Conferenza o rivista
Luogo e data
Springer Berlin Heidelberg
2014
PUBLICAZIONE
Titolo
An intermediate language for compilation to scripting languages
Autori
Paola Giannini, Albert Shaqiri
Conferenza o rivista
Luogo e data
ICSOFT: Internation Joint Conference on Software Technologies
Reykjavík, 30 Luglio 2013
PUBLICAZIONE
Titolo
Leveraging dynamic typing through static typing
Autori
Paola Giannini, Daniele Mantovani, Albert Shaqiri
Conferenza o rivista
Luogo e data
ICTCS: Italian Conference on Theoretical Computer Science
Varese, 19 Settembre 2012