Short bio
Fabio Fioravanti received his Laurea degree in computer science from the University of L'Aquila (Italy) in 1997.
He has been a visiting research scientist at the University of Southampton (UK) (April-May 2001).
During 2002 he 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 he earned his 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 he held contracts with the Computer Science Department of the Univerity 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 he has 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.
From 2005 he is an assistant professor at the Department of Sciences - University "G. d'Annunzio" of Chieti - Pescara (Italy).
Research
His research interests include
- constraint logic programming and its application to security and verification of concurrent systems;
- program transformation methodologies for development, verification and synthesis of programs;
- languages and tools for rapid application development;
- bioinformatics, and, in particular, systems biology;
- security and certification of network services provision in business and government inter-organizational contexts;
- interoperability of identification and authorization systems in business and government;
- human-computer interfaces.
Recent events (I've been involved in)
- ICLP-DC-2012. ICLP Doctoral Consortium. Budapest, Hungary, 4th of September 2012.
- CILC 2011. 26-esimo Convegno Italiano di Logica Computazionale. 31 Agosto - 2 Settembre 2011, Pescara.
- IJCAI 2011. The twentieth International Joint Conference on Artificial Intelligence. Barcelona July 2011.
- LOPSTR 2010. 20th International Symposium on Logic-Based Program Synthesis and Transformation, July 23-25, 2010. Hagenberg, Austria
- mLife 2010, Mobile Life Conferences, 27-29 October 2010, The Grand Hotel, Brighton, UK. And 2009, 2008, 2006 editions
Research projects
He 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
He is 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
He is a member of the teaching board of the PhD program in Sciences of the University "G. d'Annunzio" of Chieti - Pescara (2008-2010).
He has been a member of the teaching board of the PhD program in Applied Statistics of the University "G. d'Annunzio" of Chieti - Pescara (2007).
He is a research associate at IASI-CNR and a member of the MAP group.
Papers
Some recent papers.
2012
Valerio Senni, Fabio Fioravanti: Generation of test data structures using Constraint Logic Programming. 6th International Conference on Tests & Proofs TAP 2012. LNCS, Springer (to appear).
Fabio Fioravanti, Manuela Helmer-Citterich and Enrico Nardelli. Modeling gene regulatory network motifs using statecharts. BMC Bioinformatics 2012, 13(Suppl 4):S20.
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini. Evaluation of complex security scenarios using defense trees and economic indexes. Journal of Experimental & Theoretical Artificial Intelligence. pp 161-192 Volume 24, Issue 2, 2012
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Generalization Strategies for the Verification of Infinite State Systems. Theory and Practice of Logic Programming, Available on CJO doi:10.1017/S1471068411000627, 2012. IF: 1.372 arXiv:1110.0999v1
2011
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Reachability Analysis Via Specialization of Constraint Logic Programs. ALP Newsletter, September 2011.
Fioravanti, F.. Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), August 31 - September 2, 2011. Pescara, Italy. (Editor) [CEUR-WS, Vol-810, urn:nbn:de:0074-810-0, ISSN 1613-0073.]
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Controlling Polyvariance for Specialization-based Verification In: F. Fioravanti (Ed.), Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), August 31 - September 2, 2011. Pescara, Italy. [CEUR-WS, Vol-810, urn:nbn:de:0074-810-0, ISSN 1613-0073.]
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Improving Reachability Analysis of Infinite State Systems by Specialization In: G. Delzanno and I. Potapov (Eds.), Proceedings of the 5th International Workshop on Reachability Problems (RP 2011), September 28-30, 2011, Genova, Italy, LNCS 6945, Springer 2011. (to appear)
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Using Real Relaxations During Program Specialization In: G. Vidal (Ed.), Preliminary Proceedings of the 21st International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2011), July 18-20, 2011, Odense, Denmark, pp. 96-111, Univ. of Southern Denmark, 2011.
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Program Transformation for Development, Verification, and Synthesis of Programs In: M. Baldoni and C. Baroglio, editors. Special section: A Journey in Computational Logic in Italy – Dedicated to Prof. Alberto Martelli. Intelligenza Artificiale, Vol. 5, N.1, pp. 119-125, 2011.
2010
-
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. In: M. Alpuente (Ed.): Proceedings of the 20th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, Lecture Notes in Computer Science Vol. 6564, pp. 164-183, Springer, 2011.
- Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Generalization Strategies for the Verification of Infinite State Systems. In: Wolfgang Faber and Nicola Leone (Eds.), Proceedings of the 25th Italian Conference on Computational Logic (CILC'10), University of Calabria, Rende, Italy, July 7-9, 2010. [CEUR-WS, Vol-598, urn:nbn:de:0074-598-1, ISSN 1613-0073.]
Teaching
In Italian only.
- Facoltà di Economia
- Facoltà di Scienze Manageriali (AA 08/09 e precedenti)
Contact
Fabio Fioravanti
Dipartimento di Scienze
Università "G. D'Annunzio" di Chieti-Pescara
Viale Pindaro, 42
I-65127 Pescara (ITALY)
Email <mylastname> AT sci.unich.it
Tel +39 (0)85 453 7697
Fax +39 (0)85 454 9755
