Jump to content

Stefania Gnesi

From Wikipedia, the free encyclopedia

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

[edit]

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

[edit]

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

References

[edit]
  1. ^ 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
  2. ^ Stefania Gnesi: Short bio, Istituto di Scienza e Tecnologie dell'Informazione, retrieved 2022-05-04
[edit]