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