Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Шломи Долев (; родился 5 декабря 1958 года) — профессор кафедры Риты Альтура в области компьютерных наук в Университете Бен-Гуриона в Негеве (BGU) и руководитель акселератора стартапов факультета высоких технологий Негева.
Shlomi Dolev (; born December 5, 1958) is a Rita Altura Trust Chair Professor in Computer Science at Ben Gurion University of the Negev (BGU) and the head of the BGU Negev Hi Tech Faculty Startup Accelerator.
Биография
Шломи Долев получил степень бакалавра в области гражданского строительства в 1984 году и степень бакалавра в области компьютерных наук в 1985 году, а также степени магистра и доктора наук в области компьютерных наук в 1990 и 1992 годах в Технологическом институте Израиля (Technion). С 1992 по 1995 год он работал в Техасском университете A&M в качестве приглашенного научного сотрудника.
Shlomi Dolev received B. Sc. in Civil Engineering and B. A. in Computer Science in 1984 and 1985, and his M. Sc. and D. Sc. in computer science in 1990 and 1992 from the Technion Israel Institute of Technology. From 1992 to 1995 he was at Texas A&M University as a visiting research specialist.
Академическая карьера
В 1995 году Долев присоединился к факультету математики и компьютерных наук БГУ. Он был основателем и первым заведующим кафедрой компьютерных наук, созданной в 2000 году. Спустя 15 лет кафедра вошла в число 150 лучших в мире. Он является автором книги «Самостабилизация», опубликованной издательством MIT Press в 2000 году. С 2011 по 2014 год Долев занимал должность декана факультета естественных наук. Начиная с 2010 года, он в течение шести лет возглавлял Межвузовский вычислительный центр Израиля. Он является соучредителем, членом совета директоров и CSO компании Secret Double Octopus. Он также является соучредителем компании Secret Sky (SecretSkyDB) Ltd. В 2015 году Долев был назначен главой управляющего комитета по компьютерным наукам в израильском Министерстве образования. Долев совместно с Ювалем Эловичи и Эхудом Гудесом основал лаборатории инноваций Telekom в Университете Бен-Гуриона. Долев сыграл ключевую роль в создании Центра передового опыта IBM в области кибербезопасности (CCoE) в сотрудничестве с Университетом Бен-Гуриона в Негеве и JVP Cyber Labs. Его исследования поддерживаются рядом организаций и компаний, включая ISF, NSF, IBM (премии для преподавателей), Verisign, EMC, Intel, Orange France, Deutsche Telekom, ВВС США и Европейский Союз на общую сумму в несколько миллионов долларов. Долев был приглашенным профессором в MIT, Париж 11, Париж 6 и DIMACS. Он участвовал в работе более чем ста программных комитетов, возглавляя две ведущие конференции по распределенным вычислениям: DISC 2006 и PODC 2014. Недавно профессор Долев основал и возглавил Международный симпозиум по кибербезопасности, криптографии и машинному обучению. Долев является помощником редактора журналов IEEE Transactions on Computers и PeerJ. В 2019 году Долев стал членом Европейского альянса по инновациям (EAI), а в 2020 году – членом IEEE.
In 1995 Dolev joined the Department of Mathematics and Computer Science at BGU. He was the founder and first department head of the Computer Science Department, established in 2000. After 15 years, the department was ranked among the first 150 best departments in the world. He is the author of Self Stabilization published by MIT Press in 2000. From 2011 to 2014, Dolev served as Dean of the Natural Sciences Faculty. From 2010 he has served for six years, as the Head of the Inter University Computation Center of Israel. He is a co founder, board member and CSO of Secret Double Octopus. He is also a co founder of Secret Sky (SecretSkyDB) Ltd. In 2015 Dolev was appointed head of the steering committee on computer science studies of the Israeli Ministry of Education. Dolev together with Yuval Elovici and Ehud Gudes established the Telekom Innovation Laboratories at Ben Gurion University. Dolev was instrumental in establishing the IBM Cyber Security Center of Excellence (CCoE) in Collaboration with Ben Gurion University of the Negev, and JVP Cyber Labs. Several agencies and companies support his research including ISF, NSF, IBM (faculty awards), Verisign, EMC, Intel, Orange France, Deutsche Telekom, US Airforce and the European Union in the sum of several millions of dollars. Dolev was a visiting professor at MIT, Paris 11, Paris 6 and DIMACS. He served in more than a hundred program committees, chairing two leading conferences in distributed computing, DISC 2006, and PODC 2014. Recently Prof. Dolev established and chaired the International Symposium on Cyber Security Cryptography and Machine Learning. Dolev serves as an Associate Editor of the IEEE Transactions on Computers and PeerJ. Dolev became a fellow of the European Alliance for Innovation in 2019, (EAI), and in 2020 became IEEE fellow.
Исследовательская работа
Долев превратил семинар по самостабилизации (Остин, 1989) в серию мероприятий на эту тему. Магистерская диссертация Долева под руководством Шломо Морана и Амоса Израиля привела к наиболее цитируемой работе по самостабилизации, после пионерской работы Дейкстры, представляющей концепцию корректного состава самостабилизирующихся систем. Вклад Долева в исследование самостабилизации охватывает несколько десятилетий исследований и публикаций, включая изучение рандомизированных самостабилизирующихся алгоритмов. Он исследовал суперстабилизирующие алгоритмы, которые изящно реагируют на динамические изменения, сохраняя при этом свойство автоматического восстановления, обеспечиваемое самостабилизирующимися системами. Долев также, совместно с соавторами, ввел концепции "тихой стабилизации", "локальной стабилизации", "практической стабилизации", "самостабилизации" и "самоорганизации", "переходных детекторов отказов" и "схем маркировки". Он также представил первый тихий самостабилизирующийся распределенный алгоритм поиска в глубину. Другим направлением исследований являются мобильные ad hoc сети, включая использование случайных блужданий сообщений, GeoQuarum и виртуальной инфраструктуры, где мобильные устройства, находящиеся в определенном географическом регионе, реализуют виртуальные автоматы для этого региона, создавая фиксированную инфраструктуру. Исследования Долева в области криптографии и кибербезопасности включают введение xor-деревьев и шин, секретное совместное использование информации и накапливающие автоматы, а также машину с общим случайным доступом с секретным совместным использованием, которые привели к патентам и созданию стартапов. Исследования в области оптических вычислений и сложности дополняют криптографические исследования Долева, направленные на поиск вычислительных разрывов и доказуемо сложных в среднем экземпляров. Долев инициировал серию из четырех семинаров по оптическим суперкомпьютерам и несколько специальных выпусков журналов (например, Optical High Performance Computing — JOSA A, Applied Optics и Optical SuperComputing). Опубликовал ряд статей, включая комментарий в журнале Nature Photonics, вклад в Nature Communications по обратимым вычислениям и патент. Долев также внес вклад в исследования в области сложных сетей, структур данных хеш-функций, нейронауки, вычислений в реальном времени, сжатия, теории игр, коррекции стирания, транзакционной памяти, вычислений с коррекцией ошибок, верификации, машинного обучения, нанотехнологий и политики замены кэша.
Dolev turned a workshop on self stabilization (Austin, 1989) into a series of events on the subject. Dolev's MA thesis, under the supervision of Shlomo Moran and Amos Israeli resulted in the most cited paper on self stabilization, following the pioneering paper of Dijkstra introducing the concept of fair composition of self stabilizing systems. Dolev's contribution to the investigation of self stabilization spans several decades of research and publications, including research on randomized self stabilizing algorithms, He has researched Super Stabilizing algorithms that react gracefully to dynamic changes while preserving the automatic recovery property offered by self stabilizing systems. Dolev also introduced with co authors, the concepts of, Silent Stabilization, Local stabilization, Practically Stabilizing, Self stabilizing and Self organizing, Transient Failure Detectors and yielding Labeling Schemes. He also presented the first silent self stabilizing depth first search distributed algorithm. Another research interest is mobile ad hoc networks, including the use of messages random walks, GeoQuarum and virtual infrastructure, where mobile devices currently populating a geographic region implement virtual automata for the region, yielding a fixed infrastructure. Dolev's research in cryptography and cyber security research contributions include the introduction of the xor trees and buses, secret sharing communication and the accumulating automata and secret shared random access machine, which evolved to patents and establishment of start ups. Research on optical computing and complexity complements Dolev's cryptographic research, searching for the use of computation gaps, and provable hard on average instances. Dolev initiated a series of four optical supercomputing workshops and several journal special issues (e. g., Optical High Performance Computing—JOSA A and Applied Optics and Optical SuperComputing). Published several papers including a commentary in the Nature photonics journal, a nature communication contribution on reversible computing and a patent. Dolev has also contributed to research in Complex Networks, Hash Function Data Structures, Brain Science, Real time Computation, Compression, Game Theory, Erasure Correcting, Transactional Memory, Error Correcting Computations, Verification, Machine Learning, Nanotechnology and Cache replacement policy.