CV - Dipartimento di Ingegneria dell`Informazione

Curriculum vitae
di
Alessandro Lapadula
Informazioni Personali:
Nome
Luogo e data di nascita
Residenza
Telefono
Email
Nazionalità
Stato civile
Codice fiscale
Obblighi di leva
Alessandro Lapadula
Prato (PO), il 08/05/70
Via A. Fauli 30, 59100, Prato
3403475899 (Cell.), 0574830102 (Casa)
[email protected]
italiana
celibe
LPDLSN70E08G999I
assolti
Studi:
Mi sono laureato in Informatica nel 2002 presso l’Università di Firenze, orientamento Linguaggi e Sistemi Distribuiti, con la votazione 110/110 con
lode; titolo della Tesi: Programmazione di agenti mobili in C#. Nel 2008 ho
conseguito il titolo di Dottore di Ricerca presso il Dipartimento di Sistemi e
Informatica dell’Università di Firenze; attualmente sono assegnista di ricerca
presso il Dipartimento di Sistemi e Informatica dell’Università di Firenze.
Ricerca:
Ho partecipato a vari progetti internazionali finanziati dall’Unione Europea
presso Information Society Technologies come Agile: Architectures for Mobility (IST-2002) e Sensoria: Software Engineering for Service-Oriented Overlay
Computers (IST-2005). All’interno di questi progetti ho affrontato problematiche quali comunicazione, coordinamento, utilizzo di risorse, sicurezza, fallimenti, ecc., poste dalla progettazione di sistemi concorrenti e distribuiti. Ultimamente ho dedicato particolare attenzione al paradigma Service Oriented
Computing (SOC) per progettare sistemi distribuiti su larga scala. In questo
paradigma, il problema dell’integrazione di servizi è di importanza fondamentale e rappresenta la chiave per ottenere dinamicamente nuovi servizi a partire
da servizi già esistenti. Ho approfondito lo studio di WS-BPEL (Business
Process Execution Language for Web Services), un linguaggio per specificare e
comporre servizi sotto forma di orchestrazioni di servizi web. Ho programmato e testato applicazioni BPEL all’interno di vari ambienti di sviluppo come
Oracle JDeveloper, ActiveVOS ed Eclipse (Apache ODE).
Ultimamente mi sono occupato di tecniche avanzate per il testing di programmi all’interno di una collaborazione tra FINMECCANICA e CINI (Consorzio Inter-universitario Nazionale per l’Informatica). Ho quindi contribuito
allo svolgimento di una linea di ricerca dal titolo Metodi di specifica e verifica di Software Embedded per applicazioni safety critical presso la società
SELEX-GALILEO. In particolare ho testato programmi C utilizzando tecniche avanzate di model checking (SPIN model checker) e strumenti di reverse
engineering (MODEX model extractor).
Competenze informatiche:
Linguaggi di programmazione
Tecnologie varie
Ambienti di sviluppo
Conoscenza lingue:
Python, Java, C, C++ ,C#, Promela (model checker SPIN)
WS-BPEL, SOAP, UDDI, WSDL, XML, HTML
Eclipse, JDeveloper, ActiveVOS, ActivePython, XSPIN
Inglese (liv. buono)
Principali pubblicazioni:
1. L.F. Andrade et al. Agile: Software architecture for mobility. In WADT,
volume 2755 of Lecture Notes in Computer Science. Springer, 2003.
2. A. Lapadula, R. Pugliese, and F. Tiezzi. A WSDL-based type system
for WS-BPEL. In COORDINATION, volume 4038 of Lecture Notes in
Computer Science, pages 145–163. Springer, 2006.
3. A. Lapadula, R. Pugliese, and F. Tiezzi. A Calculus for Orchestration
of Web Services. In ESOP, volume 4421 of Lecture Notes in Computer
Science, pages 33–47. Springer, 2007.
4. A. Lapadula, R. Pugliese, and F. Tiezzi. Regulating data exchange in
service oriented applications. In FSEN, volume 4767 of Lecture Notes
in Computer Science, pages 223–239. Springer, 2007.
5. A. Lapadula, R. Pugliese, and F. Tiezzi. tCOWS: A timed serviceoriented calculus. In Proc. of 4th International Colloquium on Theoretical Aspects of Computing (ICTAC’07), volume 4711 of Lecture Notes
in Computer Science, pages 275–290. Springer, 2007.
6. A. Lapadula, R. Pugliese, and F. Tiezzi. Service discovery and negotiation with COWS. In Proc. of 3rd International Workshop on Automated
Specification and Verification of Web Systems (WWV’07), volume 200/3
of Electronic Notes in Theoretical Computer Science, pages 133–154.
Elsevier, 2008.
7. A. Fantechi, S. Gnesi, A. Lapadula, F. Mazzanti, R. Pugliese, and
F. Tiezzi. A model checking approach for verifying COWS specifications. In Proc. of Fundamental Approaches to Software Engineering
(FASE’08), volume 4961 of Lecture Notes in Computer Science, pages
230–245. Springer, 2008.
8. A. Lapadula, R. Pugliese, and F. Tiezzi. Specifying and Analysing SOC
Applications with COWS. In Concurrency, Graphs and Models, volume
5065 of Lecture Notes in Computer Science, pages 701–720. Springer,
2008.
9. A. Lapadula, R. Pugliese, and F. Tiezzi. A formal account of WSBPEL. In Proc. 10th international conference on Coordination Models
and Languages (COORDINATION’08), volume 5052 of Lecture Notes
in Computer Science, pages 199–215. Springer, 2008.
10. M. Wirsing et al. SensoriaPatterns: Augmenting Service Engineering
with Formal Analysis, Transformation and Dynamicity. In ISoLA, volume 17 of Communications in Computer and Information Science, pages
170–190. Springer, 2008.