Alessandro Fantechi

Biography

Alessandro Fantechi received a degree in Information Science at the University of Pisa in November 1978, while at the same time obtaining the Diploma of Licentiate of the Normale Superiore Scuola. Since December 2007 he has been an Ordinary Professor at the Faculty of Engineering of the University of Florence, where he has been an Extraordinary Professor since December 2005 and Associate Professor since November 1995. Previously, he has been Associate Professor at the Faculty of Engineering of the University of Pisa since 1992, and a researcher at IEI - CNR, Pisa, since 1983. He is currently holding the Industrial Computer Science course at the University of Florence for the Computer Science and Telecommunication Engineering degree course and the Software Dependability Elements course for the Master Degree Course in Computer Engineering. He has been President of the Degree Course in Computer Engineering from November 2007 to October 2014. He is associated with the research of the Institute of Information Science and Technology "A. Faedo" of CNR (formerly IEI), Pisa since 1992. He is chairman of the Tuscan Territorial Section of the AICA (Italian Association for Automatic Calculation).

Research Interest

Alessandro Fantechi focuses mainly on application of formal specification and verification methods, with particular emphasis on modeling service-oriented architectures, modeling variability techniques in software family products, model-checking techniques, and their applications in particularly in the domain of railway signaling equipment. His research interests included, in addition to the formal description techniques, the time logic, the programming and modeling of distributed systems, and the application of natural language processing techniques to the requirements engineering.