Jump to content

Шломи Долев

Шломи Долев
Рожденный 1958
Национальность Израильский
Научная карьера
Поля Информатика
Учреждения Университет Бен-Гуриона в Негеве
Научные консультанты Шломо Моран , Амос Исраэль
Веб-сайт https://www.cs.bgu.ac.il/~dolev/

Шломи Долев ( иврит : שלומי דולב Rita Altura Trust ; родился 5 декабря 1958 г.) — профессор в кафедры компьютерных наук Университете Бен-Гуриона в Негеве (BGU) и руководитель стартап-акселератора факультета высоких технологий BGU в Негеве. [1]

Биография [ править ]

Шломи Долев получил степень бакалавра наук. степень магистра гражданского строительства и степень бакалавра компьютерных наук в 1984 и 1985 годах, а также степень магистра наук. и доктор наук. Степень бакалавра информатики в 1990 и 1992 годах в Израильском технологическом институте Технион . С 1992 по 1995 год он работал в Техасском университете A&M в качестве приглашенного специалиста-исследователя.

Академическая карьера [ править ]

В 1995 году Долев поступил на кафедру математики и информатики БГУ. Он был основателем и первым заведующим кафедрой компьютерных наук, созданной в 2000 году. Спустя 15 лет кафедра вошла в число первых 150 лучших кафедр мира. [1]

Он является автором книги «Самостабилизация» , опубликованной MIT Press в 2000 году. [2] С 2011 по 2014 год Долев занимал должность декана факультета естественных наук. С 2010 года он в течение шести лет занимал должность руководителя Межуниверситетского вычислительного центра Израиля. [3]

Он является сооснователем, членом правления и руководителем организации Secret Double Octopus . [4] [5] Он также является соучредителем компании Secret Sky (SecretSkyDB) Ltd. [6] В 2015 году Долев был назначен главой руководящего комитета по исследованиям информатики Министерства образования Израиля. [7]

Долев вместе с Ювалем Эловичи и Эхудом Гудесом основали Лабораторию инноваций Telekom в Университете Бен-Гуриона. Долев сыграл важную роль в создании Центра передового опыта IBM в области кибербезопасности ( CCoE ) в сотрудничестве с Университетом Бен-Гуриона в Негеве и JVP Cyber ​​Labs. [8] Несколько агентств и компаний поддерживают его исследования, включая ISF, NSF , IBM (награды факультетов), Verisign , [9] EMC, Intel , Orange France , Deutsche Telekom , ВВС США и Евросоюз на сумму в несколько миллионов долларов.

Долев был приглашенным профессором в Массачусетском технологическом институте . [10] Париж 11, Париж 6 и DIMACS . [11] Он работал в более чем ста программных комитетах, возглавлял две ведущие конференции по распределенным вычислениям : DISC 2006, [12] и ПОДК 2014. [13] Недавно профессор Долев учредил и возглавил Международный симпозиум по кибербезопасности, криптографии и машинному обучению. [14]

Долев является заместителем редактора журналов IEEE Transactions on Computers и PeerJ . [15]

Долев стал членом Европейского альянса инноваций в 2019 году (EAI), [16] а в 2020 году стал научным сотрудником IEEE. [2]

Исследовательская работа [ править ]

Долев превратил семинар по самостабилизации (Остин, 1989) в серию мероприятий по этой теме. [17] [18]

Магистерская диссертация Долева под руководством Шломо Морана и Амоса Израэля привела к созданию наиболее цитируемой статьи по самостабилизации. [19] после новаторской статьи Дейкстры [20] введение понятия справедливого состава самостабилизирующихся систем. Вклад Долева в исследование самостабилизации охватывает несколько десятилетий исследований и публикаций, включая исследования рандомизированных алгоритмов самостабилизации. [21] Он исследовал алгоритмы суперстабилизации, которые изящно реагируют на динамические изменения, сохраняя при этом свойство автоматического восстановления, предлагаемое самостабилизирующими системами. [22] Долев также представил вместе с соавторами концепции бесшумной стабилизации, [23] Локальная стабилизация, [24] Практически стабилизирующий, [25] [26] [27] [28] Самостабилизация и самоорганизация, [29] Детекторы переходных отказов и схемы маркировки выходов. [30] Он также представил первый бесшумный самостабилизирующийся распределенный алгоритм поиска в глубину.

Еще одним исследовательским интересом являются мобильные одноранговые сети , включая использование случайных блужданий сообщений, GeoQuarum и виртуальной инфраструктуры , где мобильные устройства, в настоящее время населяющие географический регион, реализуют виртуальные автоматы для региона, создавая фиксированную инфраструктуру. [31]

Исследования Долева в области криптографии и кибербезопасности включают внедрение xor-деревьев. [32] и автобусы, [33] секретное общение [34] и накопительные автоматы [35] и секретная общая машина с произвольным доступом , [36] которые переросли в патенты и создание стартапов.

Исследования оптических вычислений и их сложности дополняют криптографические исследования Долева, направленные на поиск использования пробелов в вычислениях. [37] и трудно доказуемо в средних случаях. [38] Долев инициировал серию из четырех семинаров по оптическим суперкомпьютерам [39] и несколько специальных выпусков журналов (например, «Оптические высокопроизводительные вычисления — JOSA A» и « Прикладная оптика»). [40] и оптические суперкомпьютеры [41] ). Опубликовал несколько статей, включая комментарии, в журнале Nature Photonics. [42] вклад в общение на природе [43] по обратимым вычислениям и патент. [44]

Долев также участвовал в исследованиях в области сложных сетей . [45] хеш-функции Структуры данных , [46] Наука о мозге, [47] Вычисления в реальном времени, [48] Сжатие, [49] Теория игр , [50] Коррекция стирания , [51] Транзакционная память , [52] Вычисления с исправлением ошибок, [53] Проверка , [54] машинное обучение , [55] Нанотехнологии [56] и политика замены кэша . [57]

Ссылки [ править ]

  1. ^ «Академический рейтинг университетов мира в области компьютерных наук - 2015 | 200 лучших университетов мира в области компьютерных наук | ARWU-SUBJECT 2015» . www.shanghairanking.com . Проверено 30 декабря 2017 г.
  2. ^ Долев, Шломи (2000). Самостабилизация . МТИ Пресс. ISBN  9780262041782 .
  3. ^ «Лидерство и персонал – IUCC – Межуниверситетский вычислительный центр, ИЗРАИЛЬ» . IUCC- Межуниверситетский вычислительный центр, ИЗРАИЛЬ . Проверено 30 декабря 2017 г.
  4. ^ Секретный двойной осьминог
  5. ^ «Secret Double Octopus — безопасность без ключа и пароля» . doubleoctopus.com . Проверено 30 декабря 2017 г.
  6. ^ «Тайное небо» . www.secretsky.io . Проверено 30 декабря 2017 г.
  7. ^ Программирование компьютерной робототехники
  8. ^ Стром, Дэвид. «Почему Израиль может стать следующей мировой державой в области кибербезопасности» . ITмир . Проверено 30 декабря 2017 г.
  9. ^ «Симпозиум Verisign «Построение лучшего Интернета» для выявления интернет-лидеров и провидцев (NASDAQ:VRSN)» . инвестор.verisign.com . Проверено 30 декабря 2017 г.
  10. ^ «Виртуальная инфраструктура — группа теории распределенных систем — Массачусетский технологический институт» . groups.csail.mit.edu . Проверено 30 декабря 2017 г.
  11. ^ «Бывшие посетители DIMACS» . dimacs.rutgers.edu . Проверено 30 декабря 2017 г.
  12. ^ «ДИСК 2006» . www.disc-conference.org . Проверено 30 декабря 2017 г.
  13. ^ «ACM ПОДК 2014» . www.podc.org . Проверено 30 декабря 2017 г.
  14. ^ «ЦСКМЛ 2017» . www.cs.bgu.ac.il. ​Проверено 30 декабря 2017 г.
  15. ^ «Шломи Долев - Проект математической генеалогии» . генеалогия.math.ndsu.nodak.edu . Проверено 30 декабря 2017 г.
  16. ^ «Мы с гордостью объявляем о первых стипендиях EAI | Блог EAI» . 10 мая 2019 года . Проверено 19 января 2020 г.
  17. ^ «Главная страница самостабилизации» . www.selfstabilization.org . Проверено 30 декабря 2017 г.
  18. ^ «Призыв к подготовке документов WSS 95» . www.cs.bgu.ac.il. ​Проверено 30 декабря 2017 г.
  19. ^ Долев, Шломо; израильтянин Амос; Моран, Шломо (1990). «Самостабилизация динамических систем при условии только атомарности чтения/записи». Материалы девятого ежегодного симпозиума ACM по принципам распределенных вычислений . ПОДК '90. Нью-Йорк, штат Нью-Йорк, США: ACM. стр. 103–117. дои : 10.1145/93385.93407 . ISBN  978-0897914048 .
  20. ^ Дейкстра, Эдсгер В. (1982). «Самостабилизация, несмотря на распределенное управление». Избранные статьи о вычислительной технике: личный взгляд . Тексты и монографии по информатике. Спрингер, Нью-Йорк, штат Нью-Йорк. стр. 41–46 . дои : 10.1007/978-1-4612-5695-3_7 . ISBN  9781461256977 .
  21. ^ Долев, С.; Израильский, А.; Моран, С. (апрель 1997 г.). «Единые динамические самостабилизирующиеся выборы лидера». Транзакции IEEE в параллельных и распределенных системах . 8 (4): 424–440. дои : 10.1109/71.588622 . ISSN   1045-9219 .
  22. ^ Долев, Шломи; Уэлч, Дженнифер Л. (сентябрь 2004 г.). «Самостабилизирующаяся синхронизация часов при наличии византийских неисправностей». Журнал АКМ . 51 (5): 780–799. CiteSeerX   10.1.1.48.9451 . дои : 10.1145/1017460.1017463 . ISSN   0004-5411 . S2CID   8310509 .
  23. ^ Долев, Шломи; Гауда, Мохамед Г.; Шнайдер, Марко (1 октября 1999 г.). «Требования к памяти для бесшумной стабилизации». Акта Информатика . 36 (6): 447–462. дои : 10.1007/s002360050180 . ISSN   0001-5903 . S2CID   1392365 .
  24. ^ Афек, Ю.; Долев, С. (июнь 1997 г.). «Местный стабилизатор». Труды Пятого израильского симпозиума по теории вычислений и систем . стр. 74–84. дои : 10.1109/ISTCS.1997.595159 . ISBN  978-0-8186-8037-3 . S2CID   46376063 .
  25. ^ Долев, Шломи; Кэт, Ронен И.; Шиллер, Элад М. (1 декабря 2010 г.). «Когда консенсус встречается с самостабилизацией» . Журнал компьютерных и системных наук . 76 (8): 884–900. дои : 10.1016/j.jcss.2010.05.005 . ISSN   0022-0000 .
  26. ^ Алон, Нога; Аттия, Хагит; Долев, Шломи; Дюбуа, Лебедь; Потоп-Бутукару, Мария; Тиксёй, Себастьян (01 июня 2015 г.). «Практическая стабилизация атомной памяти SWMR в системах передачи сообщений». Журнал компьютерных и системных наук . 81 (4): 692–701. дои : 10.1016/j.jcss.2014.11.014 . ISSN   0022-0000 .
  27. ^ Бланшар, Пева; Долев, Шломи; Боке, Жоффруа; Делаэт, Сильви (2014). Сетевые системы (PDF) . Конспекты лекций по информатике. Спрингер, Чам. стр. 99–121. дои : 10.1007/978-3-319-09581-3_8 . ISBN  9783319095806 .
  28. ^ Долев, Шломи; Георгиу, Криссис; Маркуллис, Иоаннис; Шиллер, Элад М. (17 мая 2017 г.). «Самостабилизирующаяся реконфигурация». Сетевые системы . Конспекты лекций по информатике. Том. 10299. Спрингер, Чам. стр. 51–68. arXiv : 1606.00195 . дои : 10.1007/978-3-319-59647-1_5 . ISBN  9783319596464 .
  29. ^ Долев, Шломи; Цахар, Нир (28 февраля 2009 г.). «Империя колоний: Самостабилизирующийся и самоорганизующийся распределенный алгоритм». Теоретическая информатика . 410 (6–7): 514–532. дои : 10.1016/j.tcs.2008.10.006 . ISSN   0304-3975 .
  30. ^ Боке, Жоффруа; Делаэт, Сильви; Долев, Шломи; Тиксёй, Себастьен (24 сентября 1998 г.). «Детекторы переходных неисправностей» . Распределенные вычисления . Конспекты лекций по информатике. Том. 1499. Шпрингер, Берлин, Гейдельберг. стр. 62–74 . дои : 10.1007/BFb0056474 . ISBN  9783540650669 .
  31. ^ «Виртуальная инфраструктура — группа теории распределенных систем — Массачусетский технологический институт» . groups.csail.mit.edu . Проверено 30 декабря 2017 г.
  32. ^ Долев, Шломи; Остробский, Рафаил (май 2000 г.). «Xor-деревья для эффективной анонимной многоадресной рассылки и приема». Транзакции ACM по информационной и системной безопасности . 3 (2): 63–84. CiteSeerX   10.1.1.73.6464 . дои : 10.1145/354876.354877 . ISSN   1094-9224 . S2CID   9227352 .
  33. ^ Беймель; Долев (01.01.2003). «Автобусы для анонимной доставки сообщений». Журнал криптологии . 16 (1): 25–39. CiteSeerX   10.1.1.16.1339 . дои : 10.1007/s00145-002-0128-6 . ISSN   0933-2790 . S2CID   15634853 .
  34. ^ Долев, Шломи; Лахиани, Лимор; Юнг, Моти (01 сентября 2012 г.). «Секретный роевой отряд: реактивный обмен секретами K». Специальные сети . 10 (7): 1291–1305. дои : 10.1016/j.adhoc.2012.03.011 . ISSN   1570-8705 .
  35. ^ Долев, Шломи; Гильбоа, Нив; Ли, Симин (2015). «Автоматы-накопители и каскадные уравнения для бесконтактной информации, теоретически безопасной для многосторонних вычислений». Материалы 3-го международного семинара по безопасности в облачных вычислениях . СКС '15. Нью-Йорк, штат Нью-Йорк, США: ACM. стр. 21–29. дои : 10.1145/2732516.2732526 . ISBN  9781450334471 . S2CID   1668625 .
  36. ^ Долев, Шломи; Ли, Инь (2016). Алгоритмические аспекты облачных вычислений . Конспекты лекций по информатике. Спрингер, Чам. стр. 19–34. дои : 10.1007/978-3-319-29919-8_2 . ISBN  9783319299181 .
  37. ^ Долев, Шломи; Корах, Ефрем; Ли, Симин; Ли, Инь; Узан, Галит (11 июля 2016 г.). «Увеличение пробелов в вычислительной технике: установление зашифрованной связи по однонаправленным каналам» . Теоретическая информатика . 636 : 17–26. дои : 10.1016/j.tcs.2016.04.032 . ISSN   0304-3975 .
  38. ^ Долев, Шломи; Фандина, Нова; Гутфренд, Дэн (22 мая 2013 г.). «Краткий перманент - это NEXP-сложно со многими жесткими экземплярами: (расширенное резюме)». Алгоритмы и сложность . Конспекты лекций по информатике. Том. 7878. Шпрингер, Берлин, Гейдельберг. стр. 183–196. дои : 10.1007/978-3-642-38233-8_16 . ISBN  9783642382321 .
  39. ^ Долев, Шломи; Олтян, Михай (2013). Оптические суперкомпьютеры . Конспекты лекций по информатике. Том 7715. два : 10.1007/978-3-642-38250-5 . ISBN  978-3-642-38249-9 . S2CID   13010557 . {{cite book}}: CS1 maint: дата и год ( ссылка )
  40. ^ Колфилд, Х. Джон; Долев, Шломи; Грин, Уильям М.Дж. (1 августа 2009 г.). «Оптические высокопроизводительные вычисления — JOSA A и прикладная оптика: Введение». ЖОСА А. 26 (8): OHPC1–OHPC2. Бибкод : 2009JOSAA..26C...1C . дои : 10.1364/JOSAA.26.0OHPC1 . ISSN   1520-8532 . ПМИД   19649109 .
  41. ^ Долев, Шломи; Олтян, Михай (01 сентября 2015 г.). «Оптические суперкомпьютеры: Предисловие к спецвыпуску» . Естественные вычисления . 14 (3): 431–432. дои : 10.1007/s11047-015-9510-9 . ISSN   1567-7818 .
  42. ^ Колфилд, Х. Джон; Долев, Шломи (01 мая 2010 г.). «Почему будущим суперкомпьютерам нужна оптика». Природная фотоника . 4 (5): 261–263. дои : 10.1038/nphoton.2010.94 .
  43. ^ Коэн, Эяль; Долев, Шломи; Розенблит, Михаил (26 апреля 2016 г.). «Полностью оптическая конструкция для энергосберегающих реверсивных вентилей и схем» . Природные коммуникации . 7 : 11424. Бибкод : 2016NatCo...711424C . дои : 10.1038/ncomms11424 . ПМЦ   4853429 . ПМИД   27113510 .
  44. ^ США 20050013531 , Долев, Шломо и Нир, Юваль, «Оптическая реализация ограниченных недетерминированных машин Тьюринга», опубликовано 20 января 2005 г.  
  45. ^ Долев, Шломи; Эловичи, Юваль; Пузис, Рами (май 2010 г.). «Центральность маршрутизации между связями». Журнал АКМ . 57 (4): 25:1–25:27. дои : 10.1145/1734213.1734219 . ISSN   0004-5411 . S2CID   15662473 .
  46. ^ Долев, Шломи; Лахиани, Лимор; Хавив, Иннон (04 марта 2013 г.). «Уникальное хеширование перестановок» . Теоретическая информатика . 475 : 59–65. дои : 10.1016/j.tcs.2012.12.047 . ISSN   0304-3975 .
  47. ^ Беренд, Дэниел; Долев, Шломи; Ханеманн, Ариэль (07 ноября 2014 г.). «Последовательность степеней графика исключительно определяет ожидаемую стабильность шаблона сети Хопфилда». Нейронные вычисления . 27 (1): 202–210. дои : 10.1162/NECO_a_00685 . ISSN   0899-7667 . ПМИД   25380334 . S2CID   324693 .
  48. ^ Долев, Шломи; Кейзельман, Александр (1 июля 1999 г.). «Невытесняющее планирование мультимедийных задач в реальном времени». Системы реального времени . 17 (1): 23–39. дои : 10.1023/А:1008033411290 . ISSN   0922-6443 . S2CID   21271497 .
  49. ^ Долев, С.; Френкель, С.; Копеецкий, М. (август 2014 г.). «Энтропийно-адаптивное онлайн-сжатие». 2014 13-й Международный симпозиум IEEE по сетевым вычислениям и приложениям . стр. 162–166. дои : 10.1109/NCA.2014.31 . ISBN  978-1-4799-5393-6 . S2CID   16454780 .
  50. ^ Долев, Шломи (2015). «Теория реалити-игр навязывает (краткое содержание)». Алгоритмы, вероятность, сети и игры . Конспекты лекций по информатике. Том. 9295. Спрингер, Чам. стр. 25–26. дои : 10.1007/978-3-319-24024-4_2 . ISBN  9783319240237 .
  51. ^ Беймель, А.; Долев, С.; Сингер, Н. (декабрь 2007 г.). «Исправление забывчивого стирания RT». Транзакции IEEE/ACM в сети . 15 (6): 1321–1332. CiteSeerX   10.1.1.75.2503 . дои : 10.1109/TNET.2007.896540 . ISSN   1063-6692 . S2CID   1942801 .
  52. ^ Долев, Шломи; Хендлер, Дэнни; Суисса, Ади (2008). «Автомобиль-СТМ». Материалы двадцать седьмого симпозиума ACM по принципам распределенных вычислений . ПОДК '08. Нью-Йорк, штат Нью-Йорк, США: ACM. стр. 125–134. дои : 10.1145/1400751.1400769 . ISBN  9781595939890 . S2CID   2244129 .
  53. ^ Долев, Шломи; Френкель, Сергей; Тамир, Дэн Э.; Синельников, Владимир (01 декабря 2013 г.). «Сохранение расстояния Хэмминга в арифметических и логических операциях». Журнал электронного тестирования . 29 (6): 903–907. дои : 10.1007/s10836-013-5421-9 . ISSN   0923-8174 . S2CID   10400423 .
  54. ^ Брукман, Ольга; Долев, Шломи (1 августа 2011 г.). «Программирование, ориентированное на восстановление: мониторинг безопасности и работоспособности во время выполнения». Международный журнал по программным инструментам для трансфера технологий . 13 (4): 377–395. дои : 10.1007/s10009-011-0200-3 . ISSN   1433-2779 . S2CID   38141213 .
  55. ^ Долев, Шломи; Лешем, Гай; Ягель, Реувен (2010). «Очистка данных с помощью машинного обучения с уровнями достоверности». Материалы Третьего международного семинара по надежности, доступности и безопасности . ВРАС '10. Нью-Йорк, штат Нью-Йорк, США: ACM. стр. 5:1–5:6. дои : 10.1145/1953563.1953567 . ISBN  9781450306423 . S2CID   14923143 .
  56. ^ Коэн, Эяль; Долев, Шломи; Розенблит, Майкл (19 июля 2012 г.). «Нанооптический векторный матричный умножитель для реализации конечных автоматов». Оптические суперкомпьютеры . Конспекты лекций по информатике. Том. 7715. Шпрингер, Берлин, Гейдельберг. стр. 78–91. дои : 10.1007/978-3-642-38250-5_9 . ISBN  9783642382499 .
  57. ^ Битан, Дор; Долев, Шломи (2019). «Вычисление и реверс кубитов в случайном порядке — IT-безопасные неинтерактивные полностью компактные гомоморфные квантовые вычисления над классическими данными с использованием случайных базисов» . Архив электронной печати по криптологии .

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 85b49521d2fe007135df75bee5866fc6__1694021760
URL1:https://arc.ask3.ru/arc/aa/85/c6/85b49521d2fe007135df75bee5866fc6.html
Заголовок, (Title) документа по адресу, URL1:
Shlomi Dolev - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)