Дорон А. Пелед
Дорон А. Пелед | |
|---|---|
 | |
| Рожденный | 1962 |
| Гражданство | Израильский |
| Альма-матер | Технион – Израильский технологический институт |
| Известный | Частичное сокращение заказа |
| Награды | КАВ 2014 Премия [1] |
| Научная карьера | |
| Поля | Формальные методы , проверка моделей , синтез программ , проверка времени выполнения. |
| Учреждения | |
| Докторантура | Шмуэль Кац, Амир Пнуэли |
Дорон А. Пелед (род. 1962) ( иврит : דורון אנשל פלד ) — профессор информатики в Университете Бар-Илан .Его исследовательские интересы включают формальные методы , проверку моделей , синтез программ и проверку времени выполнения .Вместе с Эдмундом М. Кларком и Орной Грумберг он является соавтором книги «Проверка моделей» ( MIT Press , 1999). [2] и автор книги «Методы обеспечения надежности программного обеспечения» ( Springer Verlag , 2000). [3]
Биография
[ редактировать ]Дорон Пелед [4] родился в 1962 году в Хайфе . Он получил степень доктора наук в области компьютерных наук в Технионе – Израильском технологическом институте в 1991 году под руководством профессора Шмуэля Каца и профессора Амира Пнуэли по методам проверки в темпоральной логике .После года обучения в Уорикском университете он присоединился к Bell Labs , где работал с 1992 по 2001 год.Затем он был назначен доцентом Техасского университета в Остине , а через год — профессором и заведующим кафедрой разработки программного обеспечения в Уорикском университете.
В 2006 году Дорон вернулся в Израиль и поступил на работу в Университет Бар-Илан в качестве профессора информатики. С 2013 по 2016 год он занимал должность заведующего кафедрой. [5]
Исследовать
[ редактировать ]Пелед известен своим вкладом в информатику в области формальных методов . [6] Это включает в себя частичное сокращение заказов , [7] который представляет собой метод сокращения времени и пространства, необходимых для автоматической проверки параллельной системы , за что он получил награду CAV 2014 года вместе с Патрисом Годфруа, Антти Валмари и Пьером Вольпером . [1] Вместе с Михалисом Яннакакисом и Моше Варди он разработал систему проверки черного ящика. [8] метод автоматической проверки систем «черный ящик» . Вместе с Клаусом Хавелундом он разработал инструмент DejaVu. [9] для проверки во время выполнения последовательностей событий с большим количеством данных.
Книги
[ редактировать ]- Кларк, Эдмунд М.; Грумберг, Орна; Пелед, Дорон А. (1999). Проверка модели . Кембридж, Массачусетс: MIT Press. ISBN 9780262032704 .
- Пелед, Дорон (2001). Методы обеспечения надежности программного обеспечения . Нью-Йорк: Спрингер. ISBN 978-0-387-95106-5 .
Ссылки
[ редактировать ]- ^ Jump up to: а б Награда CAV - Международная конференция по компьютерной верификации
- ^ Кларк, Эдмунд М.; Грумберг, Орна; Пелед, Дорон А. (2001). Проверка модели . MIT Press 2001. ISBN 978-0-262-03270-4 .
- ^ Пелед, Дорон (2001). Методы обеспечения надежности программного обеспечения . Нью-Йорк: Спрингер. ISBN 978-0-387-95106-5 .
- ^ Дорон Пелед - Домашняя страница, факультет компьютерных наук, Университет Бар-Илан
- ^ Департамент компьютерных наук Университета Бар-Илан
- ^ Дорон Пелед, исследователь Google
- ^ Пелед, Дорон (1993). «Все от одного, один за всех: о проверке моделей с участием представителей». Компьютерная проверка . Конспекты лекций по информатике. Том. 697. стр. 409–423. дои : 10.1007/3-540-56922-7_34 . ISBN 978-3-540-56922-0 . ISSN 0302-9743 .
- ^ Пелед, Дорон; Варди, Моше Ю.; Яннакакис, Михалис (1999). «Проверка черного ящика». Формальные методы протокольной инженерии и распределенных систем . ИФИП: Достижения в области информационных и коммуникационных технологий. Том. 28. С. 225–240. дои : 10.1007/978-0-387-35578-8_13 . ISBN 978-1-4757-5270-0 . ISSN 1868-4238 .
- ^ Хавелунд, Клаус; Пелед, Дорон; Улус, Доган (2017). «Темпоральный логический мониторинг первого порядка с помощью BDD» . Формальные методы проектирования систем . ФМКАД '17. 56 (1–3): 116–123. ISBN 9780983567875 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
