Дана Фисман
Дана Фисман | |
|---|---|
| Альма-матер | Технион – Израильский технологический институт , Научный институт Вейцмана |
| Известный | Реконструкция автоматных моделей, темпоральная логика, язык спецификации свойств, синтез программ. |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Бен-Гуриона в Негеве |
| Диссертация | (2006) |
| Докторантура | Амир Пнуэли |
Дана Фисман — израильский ученый-компьютерщик, чьи исследования включали работу по реконструкции автоматных моделей в теории вычислительного обучения , включая индукцию регулярных языков , по темпоральной логике и языку спецификации свойств , а также по синтезу программ . Она является доцентом кафедры информатики в Университете Бен-Гуриона в Негеве . [1]
Образование и карьера
[ редактировать ]Фисман получил степень бакалавра в Технионе – Израильском технологическом институте в 1997 году. [2] Она поступила в Институт науки Вейцмана на аспирантуру по информатике, получив степень магистра и доктора философии. там. [1] В 2006 году она защитила докторскую диссертацию под руководством Амира Пнуэли . [3]
После докторской работы она стала постдокторантом-исследователем в Еврейском университете в Иерусалиме . [1] она работала в промышленности в исследовательской лаборатории IBM в Хайфе ; Между тем, с 1997 по 2009 год [2] там она стала одним из разработчиков языка спецификации свойств для темпоральной логики . [4] Она перешла в Synopsys с 2009 по 2013 год. [2]
В 2013 году она вернулась в академию. С 2013 по 2016 год она работала приглашенным научным сотрудником в Йельском университете , а с 2014 по 2016 год — научным сотрудником Пенсильванского университета . [2] В Пенсильванском университете она была заместителем директора проекта по синтезу программ, возглавляемого Радживом Алуром . [4] [5] В 2016 году она получила должность доцента кафедры информатики в Университете Бен-Гуриона, а в 2021 году получила звание доцента. [2]
Книга
[ редактировать ]Фисман вместе с Синди Эйснер является соавтором книги «Практическое введение в PSL» (Springer, 2006). [6]
Ссылки
[ редактировать ]- ^ Jump up to: а б с Дана Фисман: Очень короткая биография , получено 20 марта 2023 г.
- ^ Jump up to: а б с д и «Дана Фисман» , ORCiD , получено 20 марта 2023 г.
- ^ Дана Фисман в проекте «Математическая генеалогия»
- ^ Jump up to: а б «Биографии приглашенных докладчиков» , LearnAut 2019 , получено 20 марта 2023 г.
- ^ Компьютерное программирование стало проще , Национальный научный фонд, 12 августа 2016 г. , получено 20 марта 2023 г. - через Phys.org.
- ^ Трокар, Николя (сентябрь 2011 г.), «Изучение и практика языка спецификации свойств (обзор практического введения в PSL )», IEEE Design & Test of Computers , 28 (5): 110–111, doi : 10.1109/mdt. 2011.111 , S2CID 19261305
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Даны Фисман, индексируемые Google Scholar
