Стефания Гнеси
Стефания Гнеси (род. 1954) — итальянский инженер-программист , чья работа сосредоточена на формальных методах , а также использовании естественного языка и его обработке в анализе требований . [ 1 ] Она является директором по исследованиям в Istituto di Scienza e Tecnologie dell'Informazione Итальянского национального исследовательского совета (CNR) , где возглавляет группу формальных методов и инструментов. [ 2 ]
Образование и карьера
[ редактировать ]Гнеси родился в 1954 году в Ливорно и окончил с отличием в 1978 году Пизанский университет по специальности «компьютерные науки». [ 1 ]
Она начала свою работу в CNR, работая с Нормой Литмаер в Istituto di Elaborazione dell'Informazione, учреждении-предшественнике Istituto di Scienza e Tecnologie dell'Informazione. Помимо работы в качестве исследователя в CNR, Гнеси преподавал разработку программного обеспечения в Университете Сиены и Университете Флоренции . [ 1 ]
Признание
[ редактировать ]. праздничный шрифт В 2019 году к 65-летию со дня рождения Гнеси был издан [ 1 ]
Ссылки
[ редактировать ]- ^ Jump up to: а б с д тер Бик, Морис Х.; Фантечи, Алессандро; Семини, Лаура (2019), «Наследие Стефании Гнеси», От разработки программного обеспечения к формальным методам и инструментам и обратно: очерки, посвященные Стефании Гнеси по случаю ее 65-летия , Конспекты лекций по информатике, том. 11865, Springer International Publishing, стр. 1–11, номер номера : 10.1007/978-3-030-30985-5_1 , S2CID 203979460.
- ^ Стефания Гнеси: краткая биография , Институт информационных наук и технологий , получено 4 мая 2022 г.
Внешние ссылки
[ редактировать ]- Публикации Стефании Гнеси, проиндексированные Google Scholar
