stringtranslate.com

Дорон А. Пелед

Дорон А. Пелед (родился в 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] для проверки во время выполнения последовательностей событий с большим количеством данных.

Книги

Ссылки

  1. ^ Премия ab CAV - Международная конференция по компьютерной верификации
  2. ^ Кларк, Эдмунд М.; Грумберг, Орна; Пелед, Дорон А. (2001). Проверка модели. MIT Press 2001. ISBN 978-0-262-03270-4.
  3. ^ Пелед, Дорон (2001). Методы обеспечения надежности программного обеспечения. Нью-Йорк: Springer. ISBN 978-0-387-95106-5.
  4. ^ Дорон Пелед - Домашняя страница, Кафедра компьютерных наук, Университет Бар-Илан
  5. ^ Кафедра компьютерных наук, Университет Бар-Илан
  6. ^ Дорон Пелед, Google Scholar
  7. ^ Пелед, Дорон (1993). «Все из одного, один за всех: о проверке моделей с использованием представителей». Computer Aided Verification . Lecture Notes in Computer Science. Vol. 697. pp. 409–423. doi : 10.1007/3-540-56922-7_34 . ISBN 978-3-540-56922-0. ISSN  0302-9743.
  8. ^ Пелед, Дорон; Варди, Моше Й.; Яннакакис, Михалис (1999). «Проверка черного ящика». Формальные методы проектирования протоколов и распределенных систем . Достижения IFIP в области информационных и коммуникационных технологий. Том 28. С. 225–240. doi : 10.1007/978-0-387-35578-8_13 . ISBN 978-1-4757-5270-0. ISSN  1868-4238.
  9. ^ Хавелунд, Клаус; Пелед, Дорон; Улус, Доган (2017). «Мониторинг временной логики первого порядка с BDD». Формальные методы в проектировании систем . FMCAD '17. 56 (1–3): 116–123. ISBN 9780983567875.