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