A picture of Fabio Fioravanti

Hello world!

I'm an assistant professor at the University "G. d'Annunzio" of Chieti - Pescara (Italy). In this page you can find some information about me and my recent research and teaching activities.

News

- I'm organizing the ICLP & CAV workshop HCVS (Horn Clauses for Verification and Synthesis) at FLoC / VSL. Co-organizers: Nikolaj Bjorner (Microsoft Research), Andrey Rybalchenko (Microsoft Research Cambridge and TUM) and Valerio Senni (IMT Institute for Advanced Studies, Lucca).
- The VeriMAP software verifier based on transformation of contraint logic programs is available for download
- LOPSTR 2014. 24th International Symposium on Logic-Based Program Synthesis and Transformation, September 10-11, 2014. Canterbury, UK
- CILC 2014
- The brand-new GULP website has been launched

Research

My research interests include
- constraint logic programming and its application to software testing and verification;
- constraint logic programming and its application to security and verification of concurrent systems;
- program transformation methodologies for development, verification and synthesis of programs;
- bioinformatics, and, in particular, systems biology;
- languages and tools for rapid application development;

Events

- ICLP-DC-2014. ICLP Doctoral Consortium. Vienna, Austria, 20 July 2014. (PC)
- AI*IA Doctoral Dissertation Award 2013. (chair)
- CILC 2013. 28-esimo Convegno Italiano di Logica Computazionale. 25 - 27 settembre 2013, Catania (PC)
- ICLP-DC-2013. ICLP Doctoral Consortium. Istanbul, Turkey, 24 August 2013. (PC)
- ICLP-DC-2012. ICLP Doctoral Consortium. Budapest, Hungary, 4 September 2012. (PC)
- CILC 2011. 26-esimo Convegno Italiano di Logica Computazionale. 31 Agosto - 2 Settembre 2011, Pescara. (chair)
- IJCAI 2011. The twentieth International Joint Conference on Artificial Intelligence. Barcelona July 2011. (PC)
- LOPSTR 2010. 20th International Symposium on Logic-Based Program Synthesis and Transformation, July 23-25, 2010. Hagenberg, Austria (PC)
- mLife 2010, Mobile Life Conferences, 27-29 October 2010, The Grand Hotel, Brighton, UK. And 2009, 2008, 2006 editions (PC)

Research projects

I participated in the following research projects: - "Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali" Progetto MIUR PRIN 2005 n.2005-015491

I was the local team coordinator of the research unit at the University of Chieti-Pescara, for the research project "Simulation and modeling of biological systems using StateCharts (SIMBIOSYS)", funded by the Italian Ministry for University and Scientific Research PRIN 2008, n.20083K772X_003.

Other

I am member of the teaching board of the PhD program in Sciences of the University "G. d'Annunzio" of Chieti - Pescara (2008-2010).

I've been a member of the teaching board of the PhD program in Applied Statistics of the University "G. d'Annunzio" of Chieti - Pescara (2007).

I am also a research associate at IASI-CNR and a member of the MAP group.

Papers

Below you can find some recent papers of mine. Please cite, cite, cite! even if you don't like them :-) ... and please cite the most recent ones which are indexed by Scopus or ISI, whenever possible. Learn why I'm asking this.      Thank you!

If you are interested in my work, please feel free to contact me. I will be happy to answer your questions via email or face to face!

Some other papers of mine are listed on the reports page of the MAP Group, on DBLP and on Google Scholar.

2014

2013

2012

2011

2010

Short bio

I received my Laurea degree in computer science from the University of L'Aquila (Italy) in 1997.

I have been a visiting research scientist at the University of Southampton (UK) (April-May 2001).

During 2002 I held a contract at the IASI institute in Rome of the Italian National Research Council for doing research on the theoretical foundations of transformation and their application to semantic interoperability of heterogeneous databases.

In 2002 I earned my Research Doctorate (PhD) degree in computer science at the University of Rome - La Sapienza (Italy), defending a thesis about "Transformation of constraint logic programs for software specialization and verification" .

From 2003 to 2004 I held contracts with the Computer Science Department of the University of L'Aquila and with the ISTI institute in Pisa of the Italian National Research Council for doing research on security for high-performance computational grids.

From 2003 to 2005 I have been doing research - in collaboration with the Nestor Laboratory of the University of Rome "Tor Vergata" - (i) on security and certification of network services provision in business and government inter-organizational contexts, and (ii) on interoperability of national identification and authorization systems.

Since 2005 I'm an assistant professor at the University "G. d'Annunzio" of Chieti - Pescara (Italy).

Contact

Fabio Fioravanti
Dipartimento di Economia
Università "G. D'Annunzio" di Chieti-Pescara
Viale Pindaro, 42
I-65127 Pescara (ITALY)

Email <mylastname> AT unich.it
Tel +39 (0)85 453 7697
Fax +39 (0)85 4508 3208