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

Gnesi 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

A festschrift was published in 2019, in honor of Gnesi's 65th birthday.[1]

References

  1. 1 2 3 4 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
  2. ↑ Stefania Gnesi: Short bio, Istituto di Scienza e Tecnologie dell'Informazione, retrieved 2022-05-04
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.