Stefania Gnesi (born 1954) is an Italian software engineer whose work focuses on formal methods, and the use of natural language and natural language processing in requirements analysis.[1] She is a director of research at the Istituto di Scienza e Tecnologie dell'Informazione of the Italian National Research Council (CNR), where she heads the Formal Methods and Tools group.[2]
Education and career
editGnesi was born in 1954 in Livorno, and graduated summa cum laude in 1978 from the University of Pisa, with a degree in computer science.[1]
She began her work at the CNR working with Norma Lijtmaer at the Istituto di Elaborazione dell’Informazione, a predecessor institution to the Istituto di Scienza e Tecnologie dell'Informazione. As well as working as a researcher for the CNR, Gnesi has taught software engineering at the University of Siena and the University of Florence.[1]
Recognition
editA festschrift was published in 2019, in honor of Gnesi's 65th birthday.[1]
References
edit- ^ a b c d ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura (2019), "The Legacy of Stefania Gnesi", From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Lecture Notes in Computer Science, vol. 11865, Springer International Publishing, pp. 1–11, doi:10.1007/978-3-030-30985-5_1, S2CID 203979460
- ^ Stefania Gnesi: Short bio, Istituto di Scienza e Tecnologie dell'Informazione, retrieved 2022-05-04
External links
edit- Stefania Gnesi publications indexed by Google Scholar