Stefania Gnesi
Short Bio
Stefania Gnesi has been director of research and head of the Formal Methods and Tools Group at CNR-ISTI from 2001 to 2019 when she retired. Now she is research associate in the same group.
She has been chair of the ERCIM-FMICS working group from 2002 to 2005, deputy chair of the Formal Methods Europe (FME) association and member of the IFIP WG 1.3 - Foundation of Systems Specification.
She has been active in several CNR and European projects acting as a coordinator of research units.
Among these the most recent are:
- EU H2020-Shift2Rail-RIA-881775 project 4SECURail (Formal methods and CSIRT for the railway sector), 2019-2021
- POR-FESR-2014-2020 project STINGRAY (SmarT station INtelliGent RAilwaY), 2018-2021
- EU H2020-Shift2Rail-RIA-777561 project ASTRail (SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation), 2017-2019
She is member of the editorial Board of the International Journal on Software Tools for Technology Transfer, Springer and she has been program chair of several conferences and workshops in the area of formal methods.
Research Interests
Gnesi's current research interests are in the area of Software Engineering, concentrating on the application of formal specification and verification methods and in the area of requirements engineering.
In the former the application area is in particular in the railway domain.
In the latter the focus is on ambiguity detection in Natural Language requirements, looking at variability aspects in the case of requirements for Software Product Lines.
Publications
Office
Istituto di Scienza e Tecnologie dell'Informazione Alessandro FaedoArea della Ricerca CNR di Pisa
Via G. Moruzzi 1 56124 PISA - Italy
email: stefania.gnesi at isti.cnr.it
mobile: +39 348 8283128
phone: +39 050 621 2918 (050 315 2918) (Secretary: +39 050 315 2920)
fax: +39 050 315 2920 or +39 050 315 2810
building: B
gate: 15
floor: 1
room: I-47 I-48