Shlomi Dolev - Shlomi Dolev

Shlomi Dolev
Dolev Shlomi Profile.jpg
narozený1958
Izrael
Národnostizraelský
Vědecká kariéra
PolePočítačová věda
InstituceBen-Gurionova univerzita v Negevu
Akademičtí poradciShlomo Moran, Amos izraelský
webová stránkahttps://www.cs.bgu.ac.il/~dolev/

Shlomi Dolev (hebrejština: שלומי דולב, Narozen 5. prosince 1958) je předseda důvěryhodnosti Rita Altura Profesor v Počítačová věda na Ben-Gurionova univerzita v Negevu (BGU) a vedoucí BGU Negev Hi-Tech Fakulta Startup Accelerator.[2]

Životopis

Shlomi Dolev přijal B.Sc. v Stavební inženýrství a B.A. v informatice v letech 1984 a 1985 a jeho M.Sc. a D.Sc. v informatice v letech 1990 a 1992 z Technologický izraelský technologický institut. Od roku 1992 do roku 1995 působil v Texas A&M University jako hostující výzkumný specialista.

Akademická kariéra

V roce 1995 nastoupil Dolev na katedru matematiky a informatiky na BGU. Byl zakladatelem a prvním vedoucím oddělení informatiky, založeného v roce 2000. Po 15 letech se oddělení zařadilo mezi prvních 150 nejlepších oddělení na světě.[1]

Je autorem knihy Samostabilizace publikoval MIT Press v roce 2000.[2] V letech 2011 až 2014 působil Dolev jako děkan Přírodovědecké fakulty. Od roku 2010 působí šest let jako vedoucí výpočetního střediska Inter University v Izraeli.[3]

Je spoluzakladatelem, členem představenstva a CSO společnosti Secret Double Octopus.[4][5] Je také spoluzakladatelem společnosti Secret Sky (SecretSkyDB) Ltd.[6] V roce 2015 byl Dolev jmenován vedoucím řídícího výboru pro studium informatiky izraelského ministerstva školství.[7]

Dolev spolu s Yuval Elovici a Ehud Gudes založil Telekom Innovation Laboratories na Ben-Gurionově univerzitě. Dolev se zasloužil o založení Centra excelence IBM Cyber ​​Security Center (CCoE ) ve spolupráci s Ben-Gurionovou univerzitou v Negevu a JVP Cyber ​​Labs.[8] Několik agentur a společností podporuje jeho výzkum, včetně ISF, NSF, IBM (ocenění fakulty), Verisign,[9] EMC, Intel, Orange Francie, Deutsche Telekom, Americké letectvo a Evropská unie ve výši několika milionů dolarů.

Dolev byl hostujícím profesorem v MIT,[10] Paříž 11, Paříž 6 a DIMACY.[11] Působil ve více než stovce programových výborů a předsedal dvěma předním konferencím v roce distribuované výpočty, DISC 2006,[12] a PODC 2014.[13] Profesor Dolev nedávno založil a předsedal Mezinárodnímu symposiu o kryptografii a strojovém učení o kybernetické bezpečnosti.[14]

Dolev slouží jako Přidružený redaktor z IEEE Transakce na počítačích a PeerJ.[15]

Dolev se stal členem Evropská aliance pro inovace v roce 2019 (EAI),[16] a v roce 2020 se stal členem IEEE.[3]

Výzkumná práce

Dolev proměnil workshop o autostabilizaci (Austin, 1989) na řadu událostí na toto téma.[17][18]

Dolevova magisterská práce, pod vedením Shlomo Moran a Amos Israeli vyústil v nejcitovanější dokument o autostabilizaci,[19] po průkopnické knize Dijkstra[20] zavedení koncepce spravedlivého složení samostabilizačních systémů. Dolevův příspěvek k vyšetřování autostabilizace zahrnuje několik desetiletí výzkumu a publikací, včetně výzkumu randomizovaných samostabilizačních algoritmů,[21] Prozkoumal algoritmy Super Stabilizing, které ladně reagují na dynamické změny při zachování vlastnosti automatického zotavení nabízené samostabilizačními systémy.[22] Dolev také představil se spoluautory pojmy Tichá stabilizace,[23] Lokální stabilizace,[24] Prakticky stabilizující,[25][26][27][28] Samostabilizující a samoorganizující se,[29] Detektory přechodných poruch a schémata označování.[30] Představil také první tichý distribuovaný algoritmus pro první vyhledávání hloubky prvního vyhledávání.

Dalším zájmem výzkumu je mobilní sítě ad-hoc, včetně použití náhodných procházek zpráv, GeoQuarum a virtuální infrastruktura, kde mobilní zařízení aktuálně osídlující geografickou oblast implementují virtuální automaty pro tuto oblast, čímž se získá pevná infrastruktura.[31]

Dolevův výzkum v kryptografie a kybernetická bezpečnost Mezi příspěvky výzkumu patří představení stromů xor[32] a autobusy,[33] tajné sdílení komunikace[34] a akumulační automaty[35] a tajemství sdílené stroj s náhodným přístupem,[36] které se vyvinuly v patenty a zakládání startupů.

Výzkum v oblasti optické výpočty a složitost doplňuje Dolevův kryptografický výzkum, který hledá využití mezer ve výpočtu,[37] a průměrně prokazatelně tvrdý.[38] Dolev zahájil sérii čtyř optických superpočítačových workshopů[39] a několik speciálních čísel časopisů (např. Optical High-Performance Computing — JOSA A andAplikovaná optika[40] a Optický superpočítač[41]). Publikováno několik článků včetně komentáře v časopise Nature photonics,[42] příspěvek na komunikaci o přírodě[43] na reverzibilní výpočet a patent.[44]

Dolev také přispěl k výzkumu v Komplexní sítě,[45] Funkce hash Datové struktury,[46] Věda o mozku,[47] Výpočet v reálném čase,[48] Komprese,[49] Herní teorie,[50] Oprava vymazání,[51] Transakční paměť,[52] Chyba při opravě výpočtů,[53] Ověření,[54] Strojové učení[55], Nanotechnologie[56] a Zásady nahrazení mezipaměti.[57]

Reference

  1. ^ „Akademické hodnocení světových univerzit v oboru výpočetní techniky - 2015 | 2015 200 nejlepších univerzit v oboru výpočetní techniky | ARWU-SUBJECT 2015“. www.shanghairanking.com. Citováno 2017-12-30.
  2. ^ Dolev, Shlomi (2000). Samostabilizace. MIT Stiskněte. ISBN  9780262041782.
  3. ^ „Leadership & Staff - IUCC- Inter-University Computation Center, ISRAEL“. IUCC - Interuniverzitní výpočetní středisko, ISRAEL. Citováno 2017-12-30.
  4. ^ Secret Double Octopus
  5. ^ „Secret Double Octopus - bezklíčové zabezpečení bez hesla“. doubleoctopus.com. Citováno 2017-12-30.
  6. ^ "Tajné nebe". www.secretsky.io. Citováno 2017-12-30.
  7. ^ Programování v počítačové robotice
  8. ^ Strom, David. „Proč by Izrael mohl být další světovou velmocí v oblasti kybernetické bezpečnosti“. ITworld. Citováno 2017-12-30.
  9. ^ "Verisign" Budování lepšího internetu "Sympozium k nejvýznamnějším internetovým lídrům a vizionářům (NASDAQ: VRSN)". investor.verisign.com. Citováno 2017-12-30.
  10. ^ „Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology“. groups.csail.mit.edu. Citováno 2017-12-30.
  11. ^ „Minulí návštěvníci na DIMACS“. dimacs.rutgers.edu. Citováno 2017-12-30.
  12. ^ „DISC 2006“. www.disc-conference.org. Citováno 2017-12-30.
  13. ^ „ACM PODC 2014“. www.podc.org. Citováno 2017-12-30.
  14. ^ „CSCML 2017“. www.cs.bgu.ac.il. Citováno 2017-12-30.
  15. ^ „Shlomi Dolev - Matematický genealogický projekt“. genealogie.math.ndsu.nodak.edu. Citováno 2017-12-30.
  16. ^ „S hrdostí oznamujeme první EAI Fellows | EAI Blog“. Citováno 2020-01-19.
  17. ^ „Domovská stránka samostabilizace“. www.selfstabilization.org. Citováno 2017-12-30.
  18. ^ „WSS 95 Call For Papers“. www.cs.bgu.ac.il. Citováno 2017-12-30.
  19. ^ Dolev, Shlomo; Izraelci, Amos; Moran, Shlomo (1990). Samostabilizace dynamických systémů za předpokladu pouze atomicity čtení / zápisu. Sborník devátého výročního sympozia ACM o zásadách distribuovaného počítání. PODC '90. New York, NY, USA: ACM. 103–117. doi:10.1145/93385.93407. ISBN  978-0897914048.
  20. ^ Dijkstra, Edsger W. (1982). „Samostabilizace navzdory distribuované kontrole“. Vybrané spisy o práci na počítači: osobní pohled. Texty a monografie v informatice. Springer, New York, NY. str.41 –46. doi:10.1007/978-1-4612-5695-3_7. ISBN  9781461256977.
  21. ^ Dolev, S .; Israeli, A .; Moran, S. (duben 1997). „Jednotné dynamické volby samostabilizujícího se vůdce“. Transakce IEEE na paralelních a distribuovaných systémech. 8 (4): 424–440. doi:10.1109/71.588622. ISSN  1045-9219.
  22. ^ Dolev, Shlomi; Welch, Jennifer L. (září 2004). "Samostabilizující synchronizace hodin v přítomnosti byzantských poruch". Deník ACM. 51 (5): 780–799. CiteSeerX  10.1.1.48.9451. doi:10.1145/1017460.1017463. ISSN  0004-5411.
  23. ^ Dolev, Shlomi; Gouda, Mohamed G .; Schneider, Marco (01.10.1999). "Požadavky na paměť pro tichou stabilizaci". Acta Informatica. 36 (6): 447–462. doi:10,1007 / s002360050180. ISSN  0001-5903.
  24. ^ Afek, Y .; Dolev, S. (červen 1997). Lokální stabilizátor. Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems. str. 74–84. doi:10.1109 / ISTCS.1997.595159. ISBN  978-0-8186-8037-3.
  25. ^ Dolev, Shlomi; Kat, Ronen I .; Schiller, Elad M. (01.12.2010). "Když se shoda setká se stabilizací". 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 (01.06.2015). „Praktická stabilizace atomové paměti SWMR v systémech předávání zpráv“. 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). Síťové systémy (PDF). Přednášky z informatiky. Springer, Cham. 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). Samostabilizující rekonfigurace. Síťové systémy. Přednášky z informatiky. Springer, Cham. str. 51–68. arXiv:1606.00195. doi:10.1007/978-3-319-59647-1_5. ISBN  9783319596464.
  29. ^ Dolev, Shlomi; Tzachar, Nir (2009-02-28). "Impérium kolonií: Samostabilizující a samoorganizující se distribuovaný algoritmus". Teoretická informatika. 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). Detektory přechodných poruch. Distribuované výpočty. Přednášky z informatiky. Springer, Berlín, Heidelberg. str.62–74. doi:10.1007 / BFb0056474. ISBN  9783540650669.
  31. ^ „Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology“. groups.csail.mit.edu. Citováno 2017-12-30.
  32. ^ Dolev, Shlomi; Ostrobsky, Rafail (květen 2000). "Xor-stromy pro efektivní anonymní multicast a příjem". Transakce ACM o bezpečnosti informací a systému. 3 (2): 63–84. CiteSeerX  10.1.1.73.6464. doi:10.1145/354876.354877. ISSN  1094-9224.
  33. ^ Beimel; Dolev (01.01.2003). "Autobusy pro doručování anonymních zpráv". Journal of Cryptology. 16 (1): 25–39. CiteSeerX  10.1.1.16.1339. doi:10.1007 / s00145-002-0128-6. ISSN  0933-2790.
  34. ^ Dolev, Shlomi; Lahiani, Limor; Yung, Moti (01.09.2012). "Jednotka tajného roje: Reaktivní sdílení k-tajemství". Sítě ad hoc. 10 (7): 1291–1305. doi:10.1016 / j.adhoc.2012.03.011. ISSN  1570-8705.
  35. ^ Dolev, Shlomi; Gilboa, Niv; Li, Ximing (2015). Akumulace automatů a kaskádových automatů rovnic pro informace bez komunikace Teoreticky bezpečný výpočet více stran: rozšířený abstrakt. Sborník z 3. mezinárodního semináře o bezpečnosti v cloudových výpočtech. SCC '15. New York, NY, USA: ACM. 21–29. doi:10.1145/2732516.2732526. ISBN  9781450334471.
  36. ^ Dolev, Shlomi; Li, Yin (2016). Algoritmické aspekty cloud computingu. Přednášky z informatiky. Springer, Cham. 19–34. doi:10.1007/978-3-319-29919-8_2. ISBN  9783319299181.
  37. ^ Dolev, Shlomi; Korach, Efraim; Li, Ximing; Li, Yin; Uzan, Galit (11.7.2016). „Zvětšování výpočetních mezer: Vytvoření šifrované komunikace přes jednosměrné kanály“. Teoretická informatika. 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 je NEXP-Hard s mnoha tvrdými instancemi. Algoritmy a složitost. Přednášky z informatiky. Springer, Berlín, Heidelberg. 183–196. doi:10.1007/978-3-642-38233-8_16. ISBN  9783642382321.
  39. ^ Dolev, Shlomi; Oltean, Mihai (2013). Optická superpočítač | SpringerLink. Přednášky z informatiky. 7715. doi:10.1007/978-3-642-38250-5. ISBN  978-3-642-38249-9.
  40. ^ Caulfield, H. John; Dolev, Shlomi; Green, William M. J. (2009-08-01). „Optické vysoce výkonné počítače - JOSA A a aplikovaná optika: Úvod“. 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 (01.09.2015). „Optical SuperComputing: Předmluva ke speciálnímu vydání“. Přirozené výpočty. 14 (3): 431–432. doi:10.1007 / s11047-015-9510-9. ISSN  1567-7818.
  42. ^ Caulfield, H. John; Dolev, Shlomi (2010-05-01). "Proč budoucí superpočítač vyžaduje optiku". Fotonika přírody. 4 (5): 261–263. doi:10.1038 / nphoton.2010.94.
  43. ^ Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (2016-04-26). „Celo optický design pro neodmyslitelně energeticky úsporné vratné brány a obvody“. Příroda komunikace. 7: 11424. Bibcode:2016NatCo ... 711424C. doi:10.1038 / ncomms11424. PMC  4853429. PMID  27113510.
  44. ^ [1] „Dolev, Shlomo a Yuval Nir,„ Optická implementace ohraničených nedeterministických turingových strojů “ 
  45. ^ Dolev, Shlomi; Elovici, Yuval; Puzis, Rami (květen 2010). "Směrování mezi centrálností". Deník ACM. 57 (4): 25:1–25:27. doi:10.1145/1734213.1734219. ISSN  0004-5411.
  46. ^ Dolev, Shlomi; Lahiani, Limor; Haviv, Yinnon (04.03.2013). „Unique permutation hashing“. Teoretická informatika. 475: 59–65. doi:10.1016 / j.tcs.2012.12.047. ISSN  0304-3975.
  47. ^ Berend, Daniel; Dolev, Shlomi; Hanemann, Ariel (07.11.2014). "Sekvence grafického stupně určuje pouze očekávanou stabilitu vzoru Hopfieldovy sítě". Neurální výpočet. 27 (1): 202–210. doi:10.1162 / NECO_a_00685. ISSN  0899-7667. PMID  25380334.
  48. ^ Dolev, Shlomi; Keizelman, Alexander (01.07.1999). "Nepreventivní plánování multimediálních úkolů v reálném čase". Systémy v reálném čase. 17 (1): 23–39. doi:10.1023 / A: 1008033411290. ISSN  0922-6443.
  49. ^ Dolev, S .; Frenkel, S .; Kopeetsky, M. (srpen 2014). Entropická adaptivní online komprese. 2014 IEEE 13th International Symposium on Network Computing and Applications. 162–166. doi:10.1109 / NCA.2014.31. ISBN  978-1-4799-5393-6.
  50. ^ Dolev, Shlomi (2015). „Realitní herní teorie ukládá (krátké shrnutí)“. Algoritmy, pravděpodobnost, sítě a hry. Přednášky z informatiky. 9295. Springer, Cham. s. 25–26. doi:10.1007/978-3-319-24024-4_2. ISBN  9783319240237.
  51. ^ Beimel, A .; Dolev, S .; Singer, N. (prosinec 2007). "RT Oblivious Erasure Correcting". Transakce IEEE / ACM v síti. 15 (6): 1321–1332. CiteSeerX  10.1.1.75.2503. doi:10.1109 / TNET.2007.896540. ISSN  1063-6692.
  52. ^ Dolev, Shlomi; Hendler, Danny; Suissa, Adi (2008). CAR-STM: Zamezení kolizím a jejich řešení pro softwarovou transakční paměť. Sborník z dvacátého sedmého sympózia ACM o zásadách distribuovaného výpočtu. PODC '08. New York, NY, USA: ACM. 125–134. doi:10.1145/1400751.1400769. ISBN  9781595939890.
  53. ^ Dolev, Shlomi; Frenkel, Sergey; Tamir, Dan E .; Sinelnikov, Vladimir (01.12.2013). "Zachování Hammingovy vzdálenosti v aritmetických a logických operacích". Journal of Electronic Testing. 29 (6): 903–907. doi:10.1007 / s10836-013-5421-9. ISSN  0923-8174.
  54. ^ Brukman, Olga; Dolev, Shlomi (01.08.2011). Msgstr "Programování orientované na zotavení: monitorování bezpečnosti a živosti za běhu". International Journal on Software Tools for Technology Transfer. 13 (4): 377–395. doi:10.1007 / s10009-011-0200-3. ISSN  1433-2779.
  55. ^ Dolev, Shlomi; Leshem, Guy; Yagel, Reuven (2010). Čištění dat pomocí strojového učení s úrovněmi jistoty. Sborník ze třetího mezinárodního semináře o spolehlivosti, dostupnosti a bezpečnosti. WRAS '10. New York, NY, USA: ACM. str. 5: 1–5: 6. doi:10.1145/1953563.1953567. ISBN  9781450306423.
  56. ^ Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (19. 7. 2012). Nanooptický vektorový maticový multiplikátor pro implementaci stavových strojů. Optická superpočítač. Přednášky z informatiky. Springer, Berlín, Heidelberg. str. 78–91. doi:10.1007/978-3-642-38250-5_9. ISBN  9783642382499.
  57. ^ Bitan, Dor; Dolev, Shlomi (2019). „Náhodně otáčet qubity, počítat a obracet --- IT-neinteraktivní, plně kompaktní, homomorfní kvantové výpočty přes klasická data pomocí náhodných bází. Citovat deník vyžaduje | deník = (Pomoc)


externí odkazy