Дана Фисман
Дана Фисман (англ. Dana Fisman) — израильский учёный, доцент кафедры информатики в Университете Бен-Гуриона[1].
Биография[править]
В 1997 году получила степень бакалавра в Технионе. Затем поступила в Институт Вейцмана в аспирантуру по информатике, получив в нём одновременно степень магистра и доктора философии, защитив докторскую диссертацию в 2006 году под руководством Амира Пнуэли.
После докторской работы она стала постдокторантом-исследователем в Еврейском университете в Иерусалиме.
В 1997—2009 годах работала в Исследовательской лаборатории IBM в Хайфе, где стала одним из разработчиков языка спецификации свойств для темпоральной логики.
В 2009—2013 годах работала в американской компании Synopsys Inc.
Затем стала приглашенным научным сотрудником Йельского университета (с 2013 по 2016 год) и научным сотрудником Пенсильванского университета (с 2014 по 2016 год). В Пенсильванском университете она была заместителем директора проекта по синтезу программ, возглавляемого Радживом Алуром.
В 2016 году получила должность на кафедре информатики в Университете имени Бен-Гуриона, а в 2021 году получила звание доцента. Книга
Труды[править]
Фисман вместе с Синди Эйснер является соавтором книги «A Practical Introduction to PSL» (Springer, 2006).