슐로미 돌레프

Shlomi Dolev
슐로미 돌레프
Dolev Shlomi Profile.jpg
태어난1958
이스라엘
국적이스라엘의
과학 경력
필드컴퓨터 사이언스
기관네게프 벤구리온 대학교
어드바이저슐로모 모란, 아모스 이스라엘
웹사이트https://www.cs.bgu.ac.il/~dolev/

Shlomi Dolev(Hebru: שלוייי ובב, 1958년 12월 5일생)은 네게브(BGU)의 벤구리온 대학교 컴퓨터과학의 리타 알투라 트러스트 석좌 교수로, BGU 네게브 하이테크 교수진 스타트업 액셀러레이터의 대표다.[1]

전기

Shlomi Dolev는 B를 받았다.1984년과 1985년 토목공학과 B.A. 컴퓨터 과학과 그의 M.Sc. and D.1990년과 1992년, 이스라엘 공과대학의 컴퓨터 과학 전공. 1992년부터 1995년까지 그는 텍사스 A&M 대학에서 방문 연구 전문가로 근무했다.

학력

1995년에 Dolev는 BGU의 수학과 컴퓨터과학부에 들어갔다. 그는 2000년에 설립된 컴퓨터 과학부의 설립자 겸 제1부장이었다. 15년 만에 세계 최고 150개 학과에 이름을 올렸다.[1]

그는 2000년 MIT 출판사에서 발간한 '자기안정화'의 저자다.[2] 2011년부터 2014년까지 Dolev는 자연과학부 학장을 역임했다. 2010년부터 6년간 이스라엘의 대학간 계산 센터장으로 근무했다.[3]

그는 시크릿 더블 옥토퍼스의 공동 창업자, 이사회 멤버, CSO이다.[4][5] 시크릿 스카이(SecretSkyDB) Ltd의 공동 창업자이기도 하다.[6] 2015년 돌레브는 이스라엘 교육부 컴퓨터과학연구 운영위원회 위원장으로 임명되었다.[7]

Dolev는 Yuval Elovici, Ehud Gudes와 함께 벤구리온 대학교에 텔레콤 혁신 연구소를 설립했다. Dolev는 Negev의 Ben-Gurion University 및 JVP Cyber Labs와 협력하여 IBM Cyber Security Center of Excellence(CCoE)를 설립하는 데 중요한 역할을 했다.[8] ISF, NSF, IBM(공식상), 베리시그,[9] EMC, 인텔, 오렌지프랑스, 도이체 텔레콤, 미국 공군, 유럽연합(EU) 등 여러 기관과 기업들이 그의 연구를 수백만달러의 금액으로 지원한다.

Dolev는 MIT,[10] 파리 11, 파리 6, DIMACS의 초빙 교수였다.[11] 그는 100개가 넘는 프로그램 위원회에서 활동했으며, DISC 2006과 [12]PODC 2014에서 두 개의 주요 회의를 주재했다.[13] 최근 교수 Dolev는 Cyber Security Cryptography and Machine Learning에 관한 국제 심포지엄을 설립하고 의장을 맡았다.[14]

Dolev는 컴퓨터와 PeerJ에서 IEEE Transactions의 Associate Editor 역할을 한다.[15]

Dolev는 2019년 유럽혁신동맹(EAI)의 회원이 되었고, 2020년에는 IEEE 회원이 되었다.[16][2]

연구 작업

Dolev는 자기 안정화에 관한 워크숍(Austin, 1989년)을 그 주제에 관한 일련의 사건으로 바꾸었다.[17][18]

슐로모 모란과 아모스 이스라엘이 주관한 돌레프의 MA 논문은 자기안정화 시스템의 공정한 구성 개념을 소개하는 디크스트라의[20] 개척지에 이어 자기안정화에 관한 논문이 가장 많이 인용되었다.[19] 임의 추출된 self-stabilizing algorithms,[21]그는 자동 복구 속성self-stabilizing sys에서 제공되는 보존은 우아하게 동적 변화에 반응한 슈퍼 안정화 이행 알고리즘 연구에 연구self-stabilization이 조사한 Dolev의 기여가 뼘어서 연구와 출판의 수십년,.갖도록s.[22] Dolev는 또한 공동 저자와 함께 "침묵 안정화",[23] "지역 안정화",[24] "실제 안정화",[25][26][27][28] "자율 안정화" 및 "자기 안정화",[29] "과도한 고장 검출기" 및 "표시 체계"의 개념을 소개했다.[30] 그는 또한 첫 번째 침묵의 자기안정 깊이 첫 번째 검색 분산 알고리즘을 제시했다.

또 다른 연구 관심사는 메시지 무작위 보행, 지오쿼럼, 가상 인프라 등의 모바일 애드호크 네트워크인데, 현재 지리적 지역을 채우는 모바일 기기가 지역에 가상 자동화를 구현하여 고정 인프라를 제공하고 있다.[31]

돌레브의 암호학 및 사이버보안 연구 기여도 연구에는 xor-tree와[32] 버스 도입,[33] 비밀공유 커뮤니케이션[34], 축적된 오토마타[35] 및 비밀 공유 랜덤 액세스 머신 등이 포함돼 특허와 창업으로 진화했다.[36]

광학 컴퓨팅과 복잡성에 대한 연구는 Dolev의 암호 연구를 보완하고, 연산 공백의 사용을 모색하며,[37] 평균적인 사례에서 어렵게 증명할 수 있다.[38] Dolev는 일련의 4개의 광학 슈퍼컴퓨팅 워크샵과[39] 몇 가지 저널 특별 이슈(예: 광학 고성능 컴퓨팅—)를 시작했다.JOSA A 및 응용[40] 광학 및 광학 슈퍼컴퓨팅[41]). Nature 포토닉스 저널에 논평,[42] 가역 컴퓨팅에 대한 자연 커뮤니케이션 기고[43], 특허를 포함한 여러 논문을 발표.[44]

Dolev 또한 연구에 단지 Networks,[45]일반적으로 해시 기능 데이터 Structures,[46]브레인 Science,[47] 실시간 Computation,[48]Compression,[49]게임 Theory,[50]이레이저 Correcting,[51]트랜잭셔널 Memory,[52]오류 Correcting Computations,[53]Verification,[54]머신 Learning,[55]Nanotechnology[56]과 캐시 교체 poli에 기여했다.cy.[57]

참조

  1. ^ "Academic Ranking of World Universities in Computer Science - 2015 2015 Top 200 Universities in Computer Science ARWU-SUBJECT 2015". www.shanghairanking.com. Retrieved 2017-12-30.
  2. ^ Dolev, Shlomi (2000). Self-stabilization. MIT Press. ISBN 9780262041782.
  3. ^ "Leadership & Staff - IUCC- Inter-University Computation Center, ISRAEL". IUCC- Inter-University Computation Center, ISRAEL. Retrieved 2017-12-30.
  4. ^ 시크릿 이중 문어
  5. ^ "Secret Double Octopus - Password-free keyless security". doubleoctopus.com. Retrieved 2017-12-30.
  6. ^ "Secret Sky". www.secretsky.io. Retrieved 2017-12-30.
  7. ^ 컴퓨터-로보틱스 프로그래밍
  8. ^ Strom, David. "Why Israel could be the next cybersecurity world power". ITworld. Retrieved 2017-12-30.
  9. ^ "Verisign "Building a Better Internet" Symposium to Highlight Internet Leaders and Visionaries (NASDAQ:VRSN)". investor.verisign.com. Retrieved 2017-12-30.
  10. ^ "Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology". groups.csail.mit.edu. Retrieved 2017-12-30.
  11. ^ "Past Visitors At DIMACS". dimacs.rutgers.edu. Retrieved 2017-12-30.
  12. ^ "DISC 2006". www.disc-conference.org. Retrieved 2017-12-30.
  13. ^ "ACM PODC 2014". www.podc.org. Retrieved 2017-12-30.
  14. ^ "CSCML 2017". www.cs.bgu.ac.il. Retrieved 2017-12-30.
  15. ^ "Shlomi Dolev - The Mathematics Genealogy Project". genealogy.math.ndsu.nodak.edu. Retrieved 2017-12-30.
  16. ^ "We are proud to announce the first EAI Fellows EAI Blog". Retrieved 2020-01-19.
  17. ^ "Self-Stabilization Home Page". www.selfstabilization.org. Retrieved 2017-12-30.
  18. ^ "WSS 95 Call For Papers". www.cs.bgu.ac.il. Retrieved 2017-12-30.
  19. ^ Dolev, Shlomo; Israeli, Amos; Moran, Shlomo (1990). Self-stabilization of Dynamic Systems Assuming Only Read/Write Atomicity. Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing. PODC '90. New York, NY, USA: ACM. pp. 103–117. doi:10.1145/93385.93407. ISBN 978-0897914048.
  20. ^ Dijkstra, Edsger W. (1982). "Self-Stabilization in Spite of Distributed Control". Selected Writings on Computing: A personal Perspective. Texts and Monographs in Computer Science. Springer, New York, NY. pp. 41–46. doi:10.1007/978-1-4612-5695-3_7. ISBN 9781461256977.
  21. ^ Dolev, S.; Israeli, A.; Moran, S. (April 1997). "Uniform dynamic self-stabilizing leader election". IEEE Transactions on Parallel and Distributed Systems. 8 (4): 424–440. doi:10.1109/71.588622. ISSN 1045-9219.
  22. ^ Dolev, Shlomi; Welch, Jennifer L. (September 2004). "Self-stabilizing Clock Synchronization in the Presence of Byzantine Faults". Journal of the ACM. 51 (5): 780–799. CiteSeerX 10.1.1.48.9451. doi:10.1145/1017460.1017463. ISSN 0004-5411. S2CID 8310509.
  23. ^ Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco (1999-10-01). "Memory requirements for silent stabilization". Acta Informatica. 36 (6): 447–462. doi:10.1007/s002360050180. ISSN 0001-5903. S2CID 1392365.
  24. ^ Afek, Y.; Dolev, S. (June 1997). Local stabilizer. Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems. pp. 74–84. doi:10.1109/ISTCS.1997.595159. ISBN 978-0-8186-8037-3. S2CID 46376063.
  25. ^ Dolev, Shlomi; Kat, Ronen I.; Schiller, Elad M. (2010-12-01). "When consensus meets self-stabilization". Journal of Computer and System Sciences. 76 (8): 884–900. doi:10.1016/j.jcss.2010.05.005. ISSN 0022-0000.
  26. ^ Alon, Noga; Attiya, Hagit; Dolev, Shlomi; Dubois, Swan; Potop-Butucaru, Maria; Tixeuil, Sébastien (2015-06-01). "Practically stabilizing SWMR atomic memory in message-passing systems". Journal of Computer and System Sciences. 81 (4): 692–701. doi:10.1016/j.jcss.2014.11.014. ISSN 0022-0000.
  27. ^ Blanchard, Peva; Dolev, Shlomi; Beauquier, Joffroy; Delaët, Sylvie (2014). Networked Systems (PDF). Lecture Notes in Computer Science. Springer, Cham. pp. 99–121. doi:10.1007/978-3-319-09581-3_8. ISBN 9783319095806.
  28. ^ Dolev, Shlomi; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, Elad M. (2017-05-17). Self-stabilizing Reconfiguration. Networked Systems. Lecture Notes in Computer Science. Springer, Cham. pp. 51–68. arXiv:1606.00195. doi:10.1007/978-3-319-59647-1_5. ISBN 9783319596464.
  29. ^ Dolev, Shlomi; Tzachar, Nir (2009-02-28). "Empire of colonies: Self-stabilizing and self-organizing distributed algorithm". Theoretical Computer Science. 410 (6–7): 514–532. doi:10.1016/j.tcs.2008.10.006. ISSN 0304-3975.
  30. ^ Beauquier, Joffroy; DelaËt, Sylvie; Dolev, Shlomi; Tixeuil, Sébastien (1998-09-24). Transient fault detectors. Distributed Computing. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. pp. 62–74. doi:10.1007/BFb0056474. ISBN 9783540650669.
  31. ^ "Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology". groups.csail.mit.edu. Retrieved 2017-12-30.
  32. ^ Dolev, Shlomi; Ostrobsky, Rafail (May 2000). "Xor-trees for Efficient Anonymous Multicast and Reception". ACM Transactions on Information and System Security. 3 (2): 63–84. CiteSeerX 10.1.1.73.6464. doi:10.1145/354876.354877. ISSN 1094-9224. S2CID 9227352.
  33. ^ Beimel; Dolev (2003-01-01). "Buses for Anonymous Message Delivery". Journal of Cryptology. 16 (1): 25–39. CiteSeerX 10.1.1.16.1339. doi:10.1007/s00145-002-0128-6. ISSN 0933-2790. S2CID 15634853.
  34. ^ Dolev, Shlomi; Lahiani, Limor; Yung, Moti (2012-09-01). "Secret swarm unit: Reactive k-secret sharing". Ad Hoc Networks. 10 (7): 1291–1305. doi:10.1016/j.adhoc.2012.03.011. ISSN 1570-8705.
  35. ^ Dolev, Shlomi; Gilboa, Niv; Li, Ximing (2015). Accumulating Automata and Cascaded Equations Automata for Communicationless Information Theoretically Secure Multi-Party Computation: Extended Abstract. Proceedings of the 3rd International Workshop on Security in Cloud Computing. SCC '15. New York, NY, USA: ACM. pp. 21–29. doi:10.1145/2732516.2732526. ISBN 9781450334471. S2CID 1668625.
  36. ^ Dolev, Shlomi; Li, Yin (2016). Algorithmic Aspects of Cloud Computing. Lecture Notes in Computer Science. Springer, Cham. pp. 19–34. doi:10.1007/978-3-319-29919-8_2. ISBN 9783319299181.
  37. ^ Dolev, Shlomi; Korach, Ephraim; Li, Ximing; Li, Yin; Uzan, Galit (2016-07-11). "Magnifying computing gaps: Establishing encrypted communication over unidirectional channels". Theoretical Computer Science. 636: 17–26. doi:10.1016/j.tcs.2016.04.032. ISSN 0304-3975.
  38. ^ Dolev, Shlomi; Fandina, Nova; Gutfreund, Dan (2013-05-22). Succinct Permanent Is NEXP-Hard with Many Hard Instances. Algorithms and Complexity. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. pp. 183–196. doi:10.1007/978-3-642-38233-8_16. ISBN 9783642382321.
  39. ^ Dolev, Shlomi; Oltean, Mihai (2013). Optical Supercomputing SpringerLink. Lecture Notes in Computer Science. Vol. 7715. doi:10.1007/978-3-642-38250-5. ISBN 978-3-642-38249-9. S2CID 13010557.
  40. ^ Caulfield, H. John; Dolev, Shlomi; Green, William M. J. (2009-08-01). "Optical High-Performance Computing—JOSA A and Applied Optics: Introduction". JOSA A. 26 (8): OHPC1–OHPC2. Bibcode:2009JOSAA..26C...1C. doi:10.1364/JOSAA.26.0OHPC1. ISSN 1520-8532. PMID 19649109.
  41. ^ Dolev, Shlomi; Oltean, Mihai (2015-09-01). "Optical SuperComputing: Preface to special issue". Natural Computing. 14 (3): 431–432. doi:10.1007/s11047-015-9510-9. ISSN 1567-7818.
  42. ^ Caulfield, H. John; Dolev, Shlomi (2010-05-01). "Why future supercomputing requires optics". Nature Photonics. 4 (5): 261–263. doi:10.1038/nphoton.2010.94.
  43. ^ Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (2016-04-26). "All-optical design for inherently energy-conserving reversible gates and circuits". Nature Communications. 7: 11424. Bibcode:2016NatCo...711424C. doi:10.1038/ncomms11424. PMC 4853429. PMID 27113510.
  44. ^ US 20050013531, Dolev, Shlomo & Nir, Yuval, "경계 비결정론적 튜링 기계의 광학적 구현" 2005년 1월 20일 간행
  45. ^ Dolev, Shlomi; Elovici, Yuval; Puzis, Rami (May 2010). "Routing Betweenness Centrality". Journal of the ACM. 57 (4): 25:1–25:27. doi:10.1145/1734213.1734219. ISSN 0004-5411. S2CID 15662473.
  46. ^ Dolev, Shlomi; Lahiani, Limor; Haviv, Yinnon (2013-03-04). "Unique permutation hashing". Theoretical Computer Science. 475: 59–65. doi:10.1016/j.tcs.2012.12.047. ISSN 0304-3975.
  47. ^ Berend, Daniel; Dolev, Shlomi; Hanemann, Ariel (2014-11-07). "Graph Degree Sequence Solely Determines the Expected Hopfield Network Pattern Stability". Neural Computation. 27 (1): 202–210. doi:10.1162/NECO_a_00685. ISSN 0899-7667. PMID 25380334. S2CID 324693.
  48. ^ Dolev, Shlomi; Keizelman, Alexander (1999-07-01). "Non-Preemptive Real-Time Scheduling of Multimedia Tasks". Real-Time Systems. 17 (1): 23–39. doi:10.1023/A:1008033411290. ISSN 0922-6443. S2CID 21271497.
  49. ^ Dolev, S.; Frenkel, S.; Kopeetsky, M. (August 2014). Entropy Adaptive On-Line Compression. 2014 IEEE 13th International Symposium on Network Computing and Applications. pp. 162–166. doi:10.1109/NCA.2014.31. ISBN 978-1-4799-5393-6. S2CID 16454780.
  50. ^ Dolev, Shlomi (2015). "The Reality Game Theory Imposes (Short Summary)". Algorithms, Probability, Networks, and Games. Lecture Notes in Computer Science. Vol. 9295. Springer, Cham. pp. 25–26. doi:10.1007/978-3-319-24024-4_2. ISBN 9783319240237.
  51. ^ Beimel, A.; Dolev, S.; Singer, N. (December 2007). "RT Oblivious Erasure Correcting". IEEE/ACM Transactions on Networking. 15 (6): 1321–1332. CiteSeerX 10.1.1.75.2503. doi:10.1109/TNET.2007.896540. ISSN 1063-6692. S2CID 1942801.
  52. ^ Dolev, Shlomi; Hendler, Danny; Suissa, Adi (2008). CAR-STM: Scheduling-based Collision Avoidance and Resolution for Software Transactional Memory. Proceedings of the Twenty-seventh ACM Symposium on Principles of Distributed Computing. PODC '08. New York, NY, USA: ACM. pp. 125–134. doi:10.1145/1400751.1400769. ISBN 9781595939890. S2CID 2244129.
  53. ^ Dolev, Shlomi; Frenkel, Sergey; Tamir, Dan E.; Sinelnikov, Vladimir (2013-12-01). "Preserving Hamming Distance in Arithmetic and Logical Operations". Journal of Electronic Testing. 29 (6): 903–907. doi:10.1007/s10836-013-5421-9. ISSN 0923-8174. S2CID 10400423.
  54. ^ Brukman, Olga; Dolev, Shlomi (2011-08-01). "Recovery oriented programming: runtime monitoring of safety and liveness". International Journal on Software Tools for Technology Transfer. 13 (4): 377–395. doi:10.1007/s10009-011-0200-3. ISSN 1433-2779. S2CID 38141213.
  55. ^ Dolev, Shlomi; Leshem, Guy; Yagel, Reuven (2010). Purifying Data by Machine Learning with Certainty Levels. Proceedings of the Third International Workshop on Reliability, Availability, and Security. WRAS '10. New York, NY, USA: ACM. pp. 5:1–5:6. doi:10.1145/1953563.1953567. ISBN 9781450306423. S2CID 14923143.
  56. ^ Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (2012-07-19). A Nano-Optics Vector Matrix Multiplier for Implementing State Machines. Optical Supercomputing. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. pp. 78–91. doi:10.1007/978-3-642-38250-5_9. ISBN 9783642382499.
  57. ^ Bitan, Dor; Dolev, Shlomi (2019). "Randomly Rotate Qubits Compute and Reverse --- IT-Secure Non-Interactive Fully-Compact Homomorphic Quantum Computations over Classical Data Using Random Bases". {{cite journal}}: Cite 저널은 필요로 한다. journal= (도움말)

외부 링크