Шломи Долев - Shlomi Dolev

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

Шломи Долев (иврит: שלומי דולב, Родился 5 декабря 1958 г.) - председатель фонда Риты Альтура. Профессор в Информатика в Университет Бен-Гуриона в Негеве (БГУ) и руководитель Startup Accelerator факультета высоких технологий БГУ Негев.[2]

биография

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

Академическая карьера

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

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

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

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

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

Долев служит Заместитель редактора из IEEE Сделки на компьютерах и PeerJ.[15]

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

Поисковая работа

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

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

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

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

Исследования по оптические вычисления и сложность дополняет криптографические исследования Dolev, поиск использования вычислительных пробелов,[37] и доказуемо трудно в среднем.[38] Долев инициировал серию из четырех семинаров по оптическим суперкомпьютерам.[39] и несколько специальных выпусков журнала (например, Optical High-Performance Computing - 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. Получено 2017-12-30.
  2. ^ Долев, Шломи (2000). Самостабилизация. MIT Press. ISBN  9780262041782.
  3. ^ «Руководство и персонал - Межуниверситетский вычислительный центр IUCC, ИЗРАИЛЬ». IUCC - Межуниверситетский вычислительный центр, ИЗРАИЛЬ. Получено 2017-12-30.
  4. ^ Секретный двойной осьминог
  5. ^ "Secret Double Octopus - безопасность без пароля без ключа". doubleoctopus.com. Получено 2017-12-30.
  6. ^ "Тайное небо". www.secretsky.io. Получено 2017-12-30.
  7. ^ Компьютерно-робототехническое программирование
  8. ^ Стром, Дэвид. «Почему Израиль может стать следующей мировой державой в области кибербезопасности». ITworld. Получено 2017-12-30.
  9. ^ Симпозиум Verisign «Создание лучшего Интернета», посвященный лидерам и провидцам Интернета (NASDAQ: VRSN) ». investor.verisign.com. Получено 2017-12-30.
  10. ^ «Виртуальная инфраструктура - группа теории распределенных систем - Массачусетский технологический институт». groups.csail.mit.edu. Получено 2017-12-30.
  11. ^ «Прошлые посетители DIMACS». dimacs.rutgers.edu. Получено 2017-12-30.
  12. ^ «ДИСК 2006». www.disc-conference.org. Получено 2017-12-30.
  13. ^ «ACM PODC 2014». www.podc.org. Получено 2017-12-30.
  14. ^ «CSCML 2017». www.cs.bgu.ac.il. Получено 2017-12-30.
  15. ^ "Шломи Долев - Проект математической генеалогии". генеалогия.math.ndsu.nodak.edu. Получено 2017-12-30.
  16. ^ «Мы рады объявить о первых стипендиатах EAI | Блог EAI». Получено 2020-01-19.
  17. ^ «Домашняя страница самостабилизации». www.selfstabilization.org. Получено 2017-12-30.
  18. ^ «WSS 95 Призыв статей». www.cs.bgu.ac.il. Получено 2017-12-30.
  19. ^ Долев, Шломо; Израильский, Амос; Моран, Шломо (1990). Самостабилизация динамических систем, предполагающая только атомарность чтения / записи. Материалы девятого ежегодного симпозиума ACM по принципам распределенных вычислений. PODC '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 г.). «Самостабилизирующаяся синхронизация часов при наличии византийских разломов». Журнал ACM. 51 (5): 780–799. CiteSeerX  10.1.1.48.9451. Дои:10.1145/1017460.1017463. ISSN  0004-5411.
  23. ^ Долев, Шломи; Gouda, Mohamed G .; Шнайдер, Марко (1999-10-01). «Требования к памяти для бесшумной стабилизации». Acta Informatica. 36 (6): 447–462. Дои:10.1007 / s002360050180. ISSN  0001-5903.
  24. ^ Afek, Y .; Долев, С. (июнь 1997 г.). Местный стабилизатор. Материалы пятого израильского симпозиума по теории вычислений и систем. С. 74–84. Дои:10.1109 / ISTCS.1997.595159. ISBN  978-0-8186-8037-3.
  25. ^ Долев, Шломи; Кэт, Ронен И .; Шиллер, Элад М. (01.12.2010). «Когда консенсус встречается с самостабилизацией». Журнал компьютерных и системных наук. 76 (8): 884–900. Дои:10.1016 / j.jcss.2010.05.005. ISSN  0022-0000.
  26. ^ Алон, Нога; Аттия, Хагит; Долев, Шломи; Дюбуа, Свон; Потоп-Бутукару, Мария; Тиксей, Себастьен (01.06.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 г.). Самостабилизирующаяся реконфигурация. Сетевые системы. Конспект лекций по информатике. Спрингер, Чам. С. 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). Детекторы переходных неисправностей. Распределенных вычислений. Конспект лекций по информатике. Шпрингер, Берлин, Гейдельберг. стр.62–74. Дои:10.1007 / BFb0056474. ISBN  9783540650669.
  31. ^ «Виртуальная инфраструктура - группа теории распределенных систем - Массачусетский технологический институт». groups.csail.mit.edu. Получено 2017-12-30.
  32. ^ Долев, Шломи; Остробский, Рафаил (май 2000 г.). «Xor-деревья для эффективной анонимной многоадресной рассылки и приема». ACM-транзакции по информационной и системной безопасности. 3 (2): 63–84. CiteSeerX  10.1.1.73.6464. Дои:10.1145/354876.354877. ISSN  1094-9224.
  33. ^ Беймель; Долев (01.01.2003). «Автобусы для доставки анонимных сообщений». Журнал криптологии. 16 (1): 25–39. CiteSeerX  10.1.1.16.1339. Дои:10.1007 / s00145-002-0128-6. ISSN  0933-2790.
  34. ^ Долев, Шломи; Лахиани, Лимор; Юнг, Моти (01.09.2012). «Секретный рой: Реактивное разделение k-секрета». Ad Hoc сети. 10 (7): 1291–1305. Дои:10.1016 / j.adhoc.2012.03.011. ISSN  1570-8705.
  35. ^ Долев, Шломи; Гильбоа, Нив; Ли, Симин (2015). Автоматическое накопление и каскадные уравнения для информации без связи, теоретически безопасные многосторонние вычисления: расширенная аннотация. Материалы 3-го Международного семинара по безопасности в облачных вычислениях. SCC '15. Нью-Йорк, Нью-Йорк, США: ACM. С. 21–29. Дои:10.1145/2732516.2732526. ISBN  9781450334471.
  36. ^ Долев, Шломи; Ли, Инь (2016). Алгоритмические аспекты облачных вычислений. Конспект лекций по информатике. Спрингер, Чам. С. 19–34. Дои:10.1007/978-3-319-29919-8_2. ISBN  9783319299181.
  37. ^ Долев, Шломи; Корах, Ефрем; Ли, Симин; Ли, Инь; Узан, Галит (11.07.2016). «Увеличение компьютерных пробелов: установление зашифрованной связи по однонаправленным каналам». Теоретическая информатика. 636: 17–26. Дои:10.1016 / j.tcs.2016.04.032. ISSN  0304-3975.
  38. ^ Долев, Шломи; Фандина, Нова; Гутфройнд, Дэн (22 мая 2013 г.). Краткий перманент - это NEXP-сложность со множеством сложных экземпляров. Алгоритмы и сложность. Конспект лекций по информатике. Шпрингер, Берлин, Гейдельберг. С. 183–196. Дои:10.1007/978-3-642-38233-8_16. ISBN  9783642382321.
  39. ^ Долев, Шломи; Oltean, Михай (2013). Оптические суперкомпьютеры | SpringerLink. Конспект лекций по информатике. 7715. Дои:10.1007/978-3-642-38250-5. ISBN  978-3-642-38249-9.
  40. ^ Колфилд, Х. Джон; Долев, Шломи; Грин, Уильям М. Дж. (1 августа 2009 г.). «Высокопроизводительные оптические вычисления - JOSA A и прикладная оптика: Введение». JOSA A. 26 (8): OHPC1 – OHPC2. Bibcode:2009JOSAA..26C ... 1C. Дои:10.1364 / JOSAA.26.0OHPC1. ISSN  1520-8532. PMID  19649109.
  41. ^ Долев, Шломи; Олтеан, Михай (01.09.2015). «Оптический суперкомпьютер: предисловие к специальному выпуску». Естественные вычисления. 14 (3): 431–432. Дои:10.1007 / s11047-015-9510-9. ISSN  1567-7818.
  42. ^ Колфилд, Х. Джон; Долев, Шломи (01.05.2010). «Почему суперкомпьютеры будущего требуют оптики». Природа Фотоника. 4 (5): 261–263. Дои:10.1038 / nphoton.2010.94.
  43. ^ Коэн, Эяль; Долев, Шломи; Розенблит, Майкл (26.04.2016). «Полностью оптическая конструкция для реверсивных затворов и схем с сохранением энергии». Nature Communications. 7: 11424. Bibcode:2016 НатКо ... 711424C. Дои:10.1038 / ncomms11424. ЧВК  4853429. PMID  27113510.
  44. ^ [1], Долев, Шломо и Юваль Нир, "Оптическая реализация ограниченных недетерминированных машин Тьюринга" 
  45. ^ Долев, Шломи; Еловичи, Юваль; Пузис, Рами (май 2010 г.). "Централизация маршрутизации". Журнал ACM. 57 (4): 25:1–25:27. Дои:10.1145/1734213.1734219. ISSN  0004-5411.
  46. ^ Долев, Шломи; Лахиани, Лимор; Хавив, Йиннон (4 марта 2013 г.). «Уникальное хеширование перестановок». Теоретическая информатика. 475: 59–65. Дои:10.1016 / j.tcs.2012.12.047. ISSN  0304-3975.
  47. ^ Беренд, Дэниел; Долев, Шломи; Ханеманн, Ариэль (07.11.2014). «Последовательность степени графа определяет только ожидаемую стабильность структуры сети Хопфилда». Нейронные вычисления. 27 (1): 202–210. Дои:10.1162 / NECO_a_00685. ISSN  0899-7667. PMID  25380334.
  48. ^ Долев, Шломи; Кейзельман, Александр (1999-07-01). «Бесперебойное планирование мультимедийных задач в реальном времени». Системы реального времени. 17 (1): 23–39. Дои:10.1023 / А: 1008033411290. ISSN  0922-6443.
  49. ^ Долев, С .; Френкель, С .; Копеецкий М. (август 2014 г.). Энтропийное адаптивное сжатие в режиме онлайн. 13-й Международный симпозиум IEEE по сетевым вычислениям и приложениям, 2014 г.. С. 162–166. Дои:10.1109 / NCA.2014.31. ISBN  978-1-4799-5393-6.
  50. ^ Долев, Шломи (2015). «Теория игр реальности (краткое резюме)». Алгоритмы, вероятность, сети и игры. Конспект лекций по информатике. 9295. Спрингер, Чам. С. 25–26. Дои:10.1007/978-3-319-24024-4_2. ISBN  9783319240237.
  51. ^ Beimel, A .; Долев, С .; Певица Н. (декабрь 2007 г.). "RT Забывчивое исправление стирания". Транзакции IEEE / ACM в сети. 15 (6): 1321–1332. CiteSeerX  10.1.1.75.2503. Дои:10.1109 / TNET.2007.896540. ISSN  1063-6692.
  52. ^ Долев, Шломи; Хендлер, Дэнни; Суисса, Ади (2008). CAR-STM: предотвращение и разрешение конфликтов на основе планирования для программной транзакционной памяти. Материалы двадцать седьмого симпозиума ACM по принципам распределенных вычислений. PODC '08. Нью-Йорк, Нью-Йорк, США: ACM. С. 125–134. Дои:10.1145/1400751.1400769. ISBN  9781595939890.
  53. ^ Долев, Шломи; Френкель, Сергей; Тамир, Дэн Э .; Синельников, Владимир (2013-12-01). "Сохранение расстояния Хэмминга в арифметических и логических операциях". Журнал электронного тестирования. 29 (6): 903–907. Дои:10.1007 / s10836-013-5421-9. ISSN  0923-8174.
  54. ^ Брукман, Ольга; Долев, Шломи (01.08.2011). «Программирование, ориентированное на восстановление: мониторинг безопасности и работоспособности во время выполнения». Международный журнал программных средств для передачи технологий. 13 (4): 377–395. Дои:10.1007 / s10009-011-0200-3. ISSN  1433-2779.
  55. ^ Долев, Шломи; Лешем, Гай; Ягель, Реувен (2010). Очистка данных с помощью машинного обучения с уровнями достоверности. Труды Третьего международного семинара по надежности, доступности и безопасности. WRAS '10. Нью-Йорк, Нью-Йорк, США: ACM. С. 5: 1–5: 6. Дои:10.1145/1953563.1953567. ISBN  9781450306423.
  56. ^ Коэн, Эйал; Долев, Шломи; Розенблит, Майкл (19 июля 2012 г.). Нанооптический векторный матричный умножитель для реализации государственных автоматов. Оптический суперкомпьютер. Конспект лекций по информатике. Шпрингер, Берлин, Гейдельберг. С. 78–91. Дои:10.1007/978-3-642-38250-5_9. ISBN  9783642382499.
  57. ^ Битан, Дор; Долев, Шломи (2019). "Произвольное вращение кубитов, вычисление и обратное --- IT-безопасные неинтерактивные полностью компактные гомоморфные квантовые вычисления над классическими данными с использованием случайных оснований". Цитировать журнал требует | журнал = (помощь)


внешняя ссылка