Stefania Gnesi
Stefania Gnesi (ur. 1954) jest włoskim inżynierem oprogramowania , którego praca koncentruje się na metodach formalnych oraz wykorzystaniu języka naturalnego i przetwarzania języka naturalnego w analizie wymagań . Jest dyrektorem ds. badań w Istituto di Scienza e Tecnologie dell'Informazione włoskiej Narodowej Rady ds. Badań Naukowych (CNR) , gdzie kieruje grupą Formalne Metody i Narzędzia.
Edukacja i kariera
Gnesi urodził się w 1954 roku w Livorno , ukończył z wyróżnieniem w 1978 roku Uniwersytet w Pizie , uzyskując dyplom z informatyki.
Rozpoczęła pracę w CNR pracując z Normą Lijtmaer w Istituto di Elaborazione dell'Informazione, instytucji poprzednika Istituto di Scienza e Tecnologie dell'Informazione. Oprócz pracy jako badacz dla CNR, Gnesi wykładał inżynierię oprogramowania na Uniwersytecie w Sienie i Uniwersytecie we Florencji .
Uznanie
Festschrift został opublikowany w 2019 roku na cześć 65. urodzin Gnesi.
Linki zewnętrzne
- Stefanii Gnesi indeksowane przez Google Scholar