Нахум Дершовиц
Нахум Дершовиц | |
|---|---|
| Известный | Заказ Дершовица – Манны |
| Награды | Премия Эрбрана 2011 [1] |
| Научная карьера | |
| Поля | Переписывание термина |
| Диссертация | Эволюция программ (1979) |
| Докторантура | Зоар Манна |
| Веб-сайт | http://www.cs.tau.ac.il/~nachumd/Homepage.html |
Нахум Дершовиц — израильский ученый-компьютерщик, известный, например, благодаря упорядочиванию Дершовица-Манны и многомножествовому упорядочению путей, используемому для доказательства прекращения систем перезаписи терминов .
Он получил степень бакалавра наук. с отличием в 1974 году по специальности «Информатика и прикладная математика» в Университете Бар-Илан и степень доктора философии. в 1979 году окончил факультет прикладной математики Института науки Вейцмана .С 1978 года он работал на факультете компьютерных наук Иллинойского университета в Урбана-Шампейн , а в 1998 году был принят на должность профессора Тель -Авивского университета (школа компьютерных наук). Он был приглашенным исследователем в Институте Вейцмана , INRIA , ENS Cachan , Microsoft Research и университетах Стэнфорда , Парижа , Иерусалима , Чикаго и Пекина . [2] В 2011 году он получил премию Эрбрана за выдающийся вклад в автоматическое мышление.
Он является соавтором стандартного текста по календарным алгоритмам «Календарные вычисления» вместе с Эдвардом Рейнгольдом . [3] [4] [5] [6] Реализация алгоритма в Common Lisp находится в открытом доступе и также распространяется вместе с книгой.
См. также [ править ]
Избранные публикации [ править ]
- Нахум Дершовиц и Зохар Манна (1977). «Эволюция программ: система автоматической модификации программ» (PDF) . Учеб. ПОПЛ . стр. 144–154.
- Нахум Дершовиц и Зохар Манна (август 1979 г.). «Доказательство прекращения с помощью многомножествовых заказов» (PDF) . Коммуникации АКМ . 22 (8): 465–476. CiteSeerX 10.1.1.1013.432 . дои : 10.1145/359138.359142 . S2CID 17906810 .
- Н. Дершовиц (октябрь 1979 г.). «Заказы на системы переписывания терминов». Учеб. 20-й симпозиум по основам информатики (FOCS) . стр. 123–131.
- Н. Дершовиц (1981). «Прекращение систем линейной перезаписи: предварительная версия». В Шимон Эвене; Одед Карив (ред.). Учеб. ИКАЛП . ЛНКС . Том. 115. Спрингер. стр. 448–458.
- Н. Дершовиц (1982). «Заказы на системы переписывания терминов» (PDF) . Теория. Вычислить. наук. 17 (3): 279–301. дои : 10.1016/0304-3975(82)90026-3 . S2CID 6070052 .
- Дершовиц, Н. (1985). «Прекращение» (PDF) . В Жан-Пьере Жуанно (ред.). Техники и приложения переписывания, 1-й межд. конф., РТА-85 . ЛНКС. Том. 202. Спрингер. стр. 180–224.
- Бахмайр Л., Дершовиц Н. и Сян Дж. (июнь 1986 г.). «Порядок доказательств уравнений». Учеб. Симпозиум IEEE по логике в информатике (LICS) . Кембридж/Массачусетс. стр. 346–357.
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) CS1 maint: несколько имен: список авторов ( ссылка ) - Бахмайр Л. и Дершовиц Н. (1987). «Завершение переписывания по модулю сравнения». В Лесканне, Пьер (ред.). Техники и приложения переписывания, 2-й межд. конф., РТА-87 . ЛНКС. Том. 256. Спрингер. стр. 192–203.
- Нахум Дершовиц (1987). «Прекращение перезаписи» (PDF) . Дж. Символические вычисления. 3 (1–2): 69–116. дои : 10.1016/s0747-7171(87)80022-6 .
- Н. Дершовиц и М. Окада (1988). «Теоретико-доказательные методы теории переписывания терминов». Учеб. 3-й симпозиум IEEE. по логике в информатике (PDF) . стр. 104–111.
- Н. Дершовиц и Г. Сивакумар (1988). «Решение задач на эквациональных языках». Учеб. 1-й Межд. Семинар по системам переписывания условных терминов . ЛНКС. Том. 308. Спрингер. стр. 45–55.
- Дершовиц, Нахум, изд. (1989). Техники и приложения переписывания, 3-й Межд. конф., РТА-89 . ЛНКС. Том. 355. Спрингер.
- Н. Дершовиц и Ж.-П. Жуанно (1990). «Переписать системы». Ян ван Леувен (ред.). Формальные модели и семантика . Справочник по теоретической информатике. Том. Б. Эльзевир. стр. 243–320.
- Н. Дершовиц и Ж.-П. Жуанно (1990). «Нотации для переписывания».
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - Дершовиц Н. и Жуанно Ж.-П. и Ян Виллем Клоп (1991). «Открытые проблемы переписывания». В книге Рональда В. (ред.). Техники и приложения переписывания, 4-й Межд. конф., РТА-91 . ЛНКС. Том. 488. Спрингер. стр. 445–456.
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка ) - Дершовиц Н. и Жуанно Ж.-П. и Клоп, Дж.В. (1993). «Больше проблем с переписыванием». В Киршнер, Клод (ред.). Техники и приложения переписывания, 5-й Межд. конф., РТА-93 . ЛНКС. Том. 690. Спрингер. стр. 468–487.
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка ) - Нахум Дершовиц (апрель 1993 г.). «Деревья, порядковые номера и завершение». Учеб. CAAP/TAPSOFT (PDF) . ЛНКС. Том. 668. Спрингер. стр. 243–250.
- Дершовиц Н. и Хут К. (1993). «Темы в прекращении». В Киршнер, Клод (ред.). Техники и приложения переписывания, 5-й Межд. конф., РТА-93 . ЛНКС. Том. 690. Спрингер. стр. 198–212.
- Дершовиц, Н. (1997). «Безобидные комбинации совместного использования конструктора». В Комоне, Хьюберт (ред.). Техники и приложения переписывания, 8-й межд. конф., РТА-97 . ЛНКС. Том. 1232. Спрингер. стр. 202–216.
- Дершовиц, Нахум и Рейнгольд, Эдвард М. , Календарные вычисления , Издательство Кембриджского университета, ISBN 0521702380 , 1997 г.
- Дершовиц Н. и Трейнен Р. (1998). «Онлайн-база данных проблем». В Тобиасе Нипкове (ред.). Техники и приложения переписывания, 9-й Межд. конф., РТА-98 . ЛНКС. Том. 1379. Спрингер. стр. 332–342.
- Дершовиц Н. и Митра С. (1999). «Опасность». В Нарендране, Палиате и Русиновиче, Михаиле (ред.). Техники и приложения переписывания, 10-й Межд. конф., РТА-99 . ЛНКС. Том. 1631. Спрингер. стр. 16–29.
- Нахум Дершовиц и Дэвид А. Плейстед (2001). «Переписывание (глава 9)». У Алана Робинсона ; Андрей Воронков (ред.). Справочник по автоматизированному рассуждению . MIT Press + Elsevier. стр. 535–610.
- Дершовиц, Н. (2005). «Переписывание терминов и приложения». В Гизле, Дж. (ред.). Переписывание терминов и приложения, 16-й межд. конф., РТА-05 . ЛНКС. Том. 3467. Спрингер. стр. 376–393. ISBN 978-3-540-25596-3 .
- Дершовиц Н. и Кастедо Эллерман Э. (2005). «Наименьшие квазиупорядочения». В Гизле, Дж. (ред.). Переписывание терминов и приложения, 16-й межд. конф., РТА-05 . ЛНКС. Том. 3467. Спрингер. стр. 32–45. ISBN 978-3-540-25596-3 .
- Дершовиц, Нахум, 2005. Четыре сына Пенроуза , в материалах одиннадцатой конференции по логике для программирования, искусственного интеллекта и рассуждения (LPAR; Ямайка) , Г. Сатклифф и А. Воронков, ред., Конспекты лекций по информатике, том. 3835, Springer-Verlag, Берлин, стр. 125–138.
Ссылки [ править ]
- ^ Адрес премии Эрбрана
- ^ Жизнь в Европейской академии
- ^ Эдвард М. Рейнгольд и Нахум Дершовиц. Календарные расчеты . Издательство Кембриджского университета ; 4-е издание (апрель 2018 г.). ISBN 978-1-107-05762-3
- ^ Обзор календарных вычислений Э. Г. Ричардса (1998), Nature 391 : 33–34, дои : 10.1038/34083 .
- ^ Обзор календарных вычислений Роберта Пула (1999), Британский журнал истории науки 32 (1): 116–118, JSTOR 4027975 .
- ^ Обзор календарных вычислений Н. М. Свердлова (1998), IEEE Annals of the History of Computing 20 (3): 78, два : 10.1109/MAHC.1998.707580 .
Внешние ссылки [ править ]
- Домашняя страница
- Видео « Тезис Чёрча-Тьюринга », Нахум Дершовиц на шестом дне теории CS в Израиле, 13 марта 2013 г.
- Нахум Дершовиц на DBLP библиографическом сервере
- Нахум Дершовиц в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
   | Эта статья об израильском ученом незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта биографическая статья о компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |