Shlomi Dolev: Difference between revisions

Edit links
From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
resectioning per WP:LEAD
Elaboration about Shlomi's work
Line 1: Line 1:
⚫
{{Infobox scientist
'''Shlomi Dolev''' ({{lang-he|שלומי דולב}}) is an Israeli [[computer scientist]] best known for his contribution to [[self-stabilization]].<ref>{{harvtxt|Jakubczyc|2002}}.</ref>
⚫
| name = Shlomi Dolev
| image =
| image_size = 220px
| birth_date = 1958
| birth_place =
| residence =
| nationality =
| workplaces = [[Ben-Gurion University of the Negev]]
| academic_advisors = [[Shlomo Moran]], [[Amos Israeli]]
| website = https://www.cs.bgu.ac.il/~dolev/
| field = [[Computer Science]]
⚫
}}


'''Shlomi Dolev''' ({{lang-he|שלומי דולב}}, born December 5, 1958) is a Rita Altura Trust Chair [[Professor]] in [[Computer science|Computer Science]] at [[Ben-Gurion University of the Negev]] (BGU) and the head of the Frankel Center for Computer Science.
⚫
==Work==
Dolev is a professor at the Computer Science Department of the [[Ben-Gurion University]], [[Israel]]. He has published numerous papers in the area of [[distributed computing]]. He is the author of a textbook on self-stabilization.<ref>{{harvtxt|Dolev|2000}}. See {{harvtxt|Gregson|2001}} and {{harvtxt|Jakubczyc|2002}} for book reviews.</ref>


== Biography and Academic Career ==
==Selected publications==
Dolev received [[Bachelor of Science|B.Sc.]] in [[civil engineering]] and [[Bachelor of Arts|B.A.]] in computer science in 1984 and 1985, and his [[Master of Science|M.Sc.]] and [[Doctor of Science|D.Sc.]] in computer science in 1990 and 1992 from the [[Technion – Israel Institute of Technology|Technion Israel Institute of Technology]]. From 1992 to 1995 he was at [[Texas A&M University]] as a visiting research specialist. In 1995 he joined the Department of Mathematics and Computer Science at BGU. Shlomi is the founder and the first department head of the Computer Science Department at BGU, established in 2000. After just 15 years, the department has been ranked among the first 150 best departments in the world.<ref>{{Cite web|url=http://www.shanghairanking.com/SubjectCS2015.html|title=Academic Ranking of World Universities in Computer Science - 2015 {{!}} 2015 Top 200 Universities in Computer Science {{!}} ARWU-SUBJECT 2015|website=www.shanghairanking.com|access-date=2017-12-30}}</ref> He is the author of a book entitled [[Self-stabilization|Self-Stabilization]] published by MIT Press in 2000.<ref>{{Cite book|url=https://books.google.co.il/books?hl=en&lr=&id=UPdnRDX-ygQC&oi=fnd&pg=PR7&dq=Dolev,+Shlomi+(2000).+Self-Stabilization&ots=fdbFPm0Xca&sig=osdQa63nbrGyYgSFywAHd-fr9mI&redir_esc=y#v=onepage&q=Dolev,%20Shlomi%20(2000).%20Self-Stabilization&f=false|title=Self-stabilization|last=Dolev|first=Shlomi|date=2000|publisher=MIT Press|isbn=9780262041782|language=en}}</ref> From 2011 to 2014, Prof. Dolev served as the Dean of the Natural Sciences Faculty at Ben-Gurion University of the Negev. From 2010 he has served for six years, as the Head of the Inter University Computation Center of Israel.<ref>{{Cite news|url=https://www.iucc.ac.il/about/leadership/|title=Leadership & Staff - IUCC- Inter-University Computation Center, ISRAEL|work=IUCC- Inter-University Computation Center, ISRAEL|access-date=2017-12-30|language=en-US}}</ref> He is a co-founder, board member and CSO of Secret Double Octopus Ltd.<ref>{{Cite web|url=https://doubleoctopus.com/|title=Secret Double Octopus - Password-free keyless security|website=doubleoctopus.com|language=en-US|access-date=2017-12-30}}</ref> He is also a co-founder of Secret Sky (SecretSkyDB) Ltd.<ref>{{Cite web|url=http://www.secretsky.io/|title=Secret Sky|website=www.secretsky.io|access-date=2017-12-30}}</ref> In 2015 Shlomi [http://sites.education.gov.il/cloud/home/machshev_robotika/Documents/tochnit_limudim_machsevim_robotika2.pdf was appointed as the steering committee head of the computer science discipline of the Ministry of Education of Israel.]
*{{Cite book
| last=Dolev | first=Shlomi
| title=Self-Stabilization
| publisher=[[MIT Press]]
| year=2000
| isbn=0-262-04178-2
| ref=harv
| postscript=<!--None-->
⚫
}}.


Dolev together with [[Yuval Elovici]] and Ehud Gudes established the [[Telekom Innovation Laboratories]] at Ben-Gurion University. Dolev was also was instrumental in establishing the IBM BGU center of excellence, and JVP Cyber Labs.<ref>{{Cite news|url=https://www.itworld.com/article/2894051/why-israel-could-be-the-next-cybersecurity-world-power.html|title=Why Israel could be the next cybersecurity world power|last=Strom|first=David|work=ITworld|access-date=2017-12-30|language=en}}</ref> Several agencies and companies support his research including ISF, [[NSF International|NSF,]] [[IBM]] (faculty awards), [[Verisign]],<ref>{{Cite web|url=https://investor.verisign.com/releasedetail.cfm?releaseid=674766|title=Verisign "Building a Better Internet" Symposium to Highlight Internet Leaders and Visionaries (NASDAQ:VRSN)|website=investor.verisign.com|language=en|access-date=2017-12-30}}</ref> EMC, [[Intel]], [[Orange S.A.|Orange France]], [[Deutsche Telekom]], [[US Airforce]] and the [[European Union]] in the sum of several millions of dollars.
==Notes==
{{reflist}}


During his stay at Ben-Gurion University Shlomi had visiting positions in several institutions including [[Massachusetts Institute of Technology|MIT]],<ref>{{Cite web|url=http://groups.csail.mit.edu/tds/vi-project/members.html|title=Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology|last=|first=|date=|website=groups.csail.mit.edu|archive-url=|archive-date=|dead-url=|access-date=2017-12-30}}</ref> Paris 11, [[Paris 6]] and [[DIMACS]].<ref>{{Cite web|url=http://dimacs.rutgers.edu/People/VisitorsPast.html|title=Past Visitors At DIMACS|website=dimacs.rutgers.edu|access-date=2017-12-30}}</ref> He served in more than a hundred program committees, chairing several including the two leading conferences in distributed computing, DISC 2006,<ref>{{Cite web|url=http://www.disc-conference.org/disc2006/mirror/|title=DISC 2006|website=www.disc-conference.org|access-date=2017-12-30}}</ref> and PODC 2014.<ref>{{Cite web|url=https://www.podc.org/podc2014/|title=ACM PODC 2014|website=www.podc.org|language=en-US|access-date=2017-12-30}}</ref>
⚫
==References==

⚫
*[http://www.cs.bgu.ac.il/~dolev Shlomi Dolev's home page] at the Ben-Gurion University.
Shlomi served and serves as an Associate Editor in several international journals including the IEEE Transactions on Computers and PeerJ. His research students more than ten PostDocs, over fifteen PhD students<ref>{{Cite web|url=https://genealogy.math.ndsu.nodak.edu/id.php?id=86425|title=Shlomi Dolev - The Mathematics Genealogy Project|website=genealogy.math.ndsu.nodak.edu|access-date=2017-12-30}}</ref> and twenty MSc students, are positioned in Hi-Tech companies, including IBM, [[Microsoft]], [[Google]] and Academia.

⚫
==Research Work==
Dolev initiated a transfer of single event workshop on self-stabilization (Austin,1989) to a series of events on the subject.<ref>{{Cite web|url=http://www.selfstabilization.org/~selfstab/|title=Self-Stabilization Home Page|website=www.selfstabilization.org|access-date=2017-12-30}}</ref><ref>{{Cite web|url=https://www.cs.bgu.ac.il/~dolev/WSS95/cfp.html|title=WSS 95 Call For Papers|website=www.cs.bgu.ac.il|access-date=2017-12-30}}</ref>

Dolev's Master thesis, under the supervision of [[Shlomo Moran]] and [https://www.linkedin.com/in/amos-israeli-1246384/?ppe=1 Amos Israeli], resulted in the most cited paper on self-stabilization.<ref>{{Cite journal|last=Dalev|first=Shlomo|last2=Israeli|first2=Amos|last3=Moran|first3=Shlomo|date=1990|title=Self-stabilization of Dynamic Systems Assuming Only Read/Write Atomicity|url=http://doi.acm.org/10.1145/93385.93407|journal=Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing|series=PODC '90|location=New York, NY, USA|publisher=ACM|pages=103–117|doi=10.1145/93385.93407|isbn=089791404X}}</ref> The paper, following the pioneering paper of Dijkstra<ref>{{Cite book|url=https://link.springer.com/chapter/10.1007/978-1-4612-5695-3_7|title=Selected Writings on Computing: A personal Perspective|last=Dijkstra|first=Edsger W.|date=1982|publisher=Springer, New York, NY|isbn=9781461256977|series=Texts and Monographs in Computer Science|pages=41–46|language=en|doi=10.1007/978-1-4612-5695-3_7}}</ref> on the subject, is 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,<ref>{{Cite journal|last=Dolev|first=S.|last2=Israeli|first2=A.|last3=Moran|first3=S.|date=April 1997|title=Uniform dynamic self-stabilizing leader election|url=http://ieeexplore.ieee.org/abstract/document/588622/|journal=IEEE Transactions on Parallel and Distributed Systems|volume=8|issue=4|pages=424–440|doi=10.1109/71.588622|issn=1045-9219}}</ref> Super Stabilizing algorithms that react gracefully to dynamic changes while preserving the automatic recovery property offered by self-stabilizing systems. Convergence in spite of Byzantine malicious activity of a portion of the participants.<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Welch|first2=Jennifer L.|date=September 2004|title=Self-stabilizing Clock Synchronization in the Presence of Byzantine Faults|url=http://doi.acm.org/10.1145/1017460.1017463|journal=J. ACM|volume=51|issue=5|pages=780–799|doi=10.1145/1017460.1017463|issn=0004-5411}}</ref> Dolev also introduced with co-authors, the concepts of, Silent Stabilization,<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Gouda|first2=Mohamed G.|last3=Schneider|first3=Marco|date=1999-10-01|title=Memory requirements for silent stabilization|url=https://link.springer.com/article/10.1007/s002360050180|journal=Acta Informatica|language=en|volume=36|issue=6|pages=447–462|doi=10.1007/s002360050180|issn=0001-5903}}</ref> Local stabilization,<ref>{{Cite journal|last=Afek|first=Y.|last2=Dolev|first2=S.|date=June 1997|title=Local stabilizer|url=http://ieeexplore.ieee.org/abstract/document/595159/?reload=true|journal=Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems|pages=74–84|doi=10.1109/ISTCS.1997.595159}}</ref> Practically Stabilizing,<ref>{{Cite journal|date=2010-12-01|title=When consensus meets self-stabilization|url=https://www.sciencedirect.com/science/article/pii/S0022000010000838|journal=Journal of Computer and System Sciences|volume=76|issue=8|pages=884–900|doi=10.1016/j.jcss.2010.05.005|issn=0022-0000}}</ref><ref>{{Cite journal|date=2015-06-01|title=Practically stabilizing SWMR atomic memory in message-passing systems|url=https://www.sciencedirect.com/science/article/pii/S0022000014001615|journal=Journal of Computer and System Sciences|volume=81|issue=4|pages=692–701|doi=10.1016/j.jcss.2014.11.014|issn=0022-0000}}</ref><ref>{{Cite book|url=https://link.springer.com/chapter/10.1007/978-3-319-09581-3_8|title=Networked Systems|last=Blanchard|first=Peva|last2=Dolev|first2=Shlomi|last3=Beauquier|first3=Joffroy|last4=Delaët|first4=Sylvie|date=2014|publisher=Springer, Cham|isbn=9783319095806|series=Lecture Notes in Computer Science|pages=99–121|language=en|doi=10.1007/978-3-319-09581-3_8}}</ref><ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Georgiou|first2=Chryssis|last3=Marcoullis|first3=Ioannis|last4=Schiller|first4=Elad M.|date=2017-05-17|title=Self-stabilizing Reconfiguration|url=https://link.springer.com/chapter/10.1007/978-3-319-59647-1_5|journal=Networked Systems|series=Lecture Notes in Computer Science|language=en|publisher=Springer, Cham|pages=51–68|doi=10.1007/978-3-319-59647-1_5|isbn=9783319596464}}</ref> Self-stabilizing and Self-organizing,<ref>{{Cite journal|date=2009-02-28|title=Empire of colonies: Self-stabilizing and self-organizing distributed algorithm|url=https://www.sciencedirect.com/science/article/pii/S0304397508007548|journal=Theoretical Computer Science|volume=410|issue=6-7|pages=514–532|doi=10.1016/j.tcs.2008.10.006|issn=0304-3975}}</ref> Transient Failure Detectors and Yielding Labeling Schemes.<ref>{{Cite journal|last=Beauquier|first=Joffroy|last2=DelaËt|first2=Sylvie|last3=Dolev|first3=Shlomi|last4=Tixeuil|first4=Sébastien|date=1998-09-24|title=Transient fault detectors|url=https://link.springer.com/chapter/10.1007/BFb0056474|journal=Distributed Computing|series=Lecture Notes in Computer Science|language=en|publisher=Springer, Berlin, Heidelberg|pages=62–74|doi=10.1007/BFb0056474|isbn=9783540650669}}</ref> He also presented the first silent self-stabilizing depth first search distributed algorithm.

Another prominent body of research in Dolev's research is related to [[Mobile ad hoc network|mobile ad-hoc networks]], including the use of messages random walks, GeoQuarum and [[VMware Infrastructure|virtual infrastructure]], where mobile devices currently populating a geographic region implement virtual automata for the region, yielding a fixed infrastructure.<ref>{{Cite web|url=http://groups.csail.mit.edu/tds/vi-project/|title=Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology|last=|first=|date=|website=groups.csail.mit.edu|archive-url=|archive-date=|dead-url=|access-date=2017-12-30}}</ref>

Dolev's research in [[cryptography]] and [[Computer security|cyber security]] research contributions include the introduction of the xor-trees<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Ostrobsky|first2=Rafail|date=May 2000|title=Xor-trees for Efficient Anonymous Multicast and Reception|url=http://doi.acm.org/10.1145/354876.354877|journal=ACM Trans. Inf. Syst. Secur.|volume=3|issue=2|pages=63–84|doi=10.1145/354876.354877|issn=1094-9224}}</ref> and buses,<ref>{{Cite journal|last=Beimel|last2=Dolev|date=2003-01-01|title=Buses for Anonymous Message Delivery|url=https://link.springer.com/article/10.1007/s00145-002-0128-6|journal=Journal of Cryptology|language=en|volume=16|issue=1|pages=25–39|doi=10.1007/s00145-002-0128-6|issn=0933-2790}}</ref> דecret sharing communication and the accumulating automata<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Gilboa|first2=Niv|last3=Li|first3=Ximing|date=2015|title=Accumulating Automata and Cascaded Equations Automata for Communicationless Information Theoretically Secure Multi-Party Computation: Extended Abstract|url=http://doi.acm.org/10.1145/2732516.2732526|journal=Proceedings of the 3rd International Workshop on Security in Cloud Computing|series=SCC '15|location=New York, NY, USA|publisher=ACM|pages=21–29|doi=10.1145/2732516.2732526|isbn=9781450334471}}</ref> and secret shared [[random-access machine]]<ref>{{Cite book|url=https://link.springer.com/chapter/10.1007/978-3-319-29919-8_2|title=Algorithmic Aspects of Cloud Computing|last=Dolev|first=Shlomi|last2=Li|first2=Yin|date=2016|publisher=Springer, Cham|isbn=9783319299181|series=Lecture Notes in Computer Science|pages=19–34|language=en|doi=10.1007/978-3-319-29919-8_2}}</ref>, which evolved to patents and establishment of a start-ups.

The research on optical computing and complexity complements Dolev's cryptographic research, searching for the use of computation gaps,<ref>{{Cite journal|date=2016-07-11|title=Magnifying computing gaps: Establishing encrypted communication over unidirectional channels|url=https://www.sciencedirect.com/science/article/pii/S0304397516300718|journal=Theoretical Computer Science|volume=636|pages=17–26|doi=10.1016/j.tcs.2016.04.032|issn=0304-3975}}</ref> and provable hard on average instances.<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Fandina|first2=Nova|last3=Gutfreund|first3=Dan|date=2013-05-22|title=Succinct Permanent Is NEXP-Hard with Many Hard Instances|url=https://link.springer.com/chapter/10.1007/978-3-642-38233-8_16|journal=Algorithms and Complexity|series=Lecture Notes in Computer Science|language=en|publisher=Springer, Berlin, Heidelberg|pages=183–196|doi=10.1007/978-3-642-38233-8_16|isbn=9783642382321}}</ref> Dolev initiated a series of four optical supercomputing workshops<ref>{{Cite book|url=https://link.springer.com/book/10.1007/978-3-642-38250-5|title=Optical Supercomputing {{!}} SpringerLink|language=en-gb|doi=10.1007/978-3-642-38250-5}}</ref> and several journal special issues (e.g., Optical High-Performance Computing—JOSA A and ''Applied Optics''<ref>{{Cite journal|last=Caulfield|first=H. John|last2=Dolev|first2=Shlomi|last3=Green|first3=William M. J.|date=2009-08-01|title=Optical High-Performance Computing—JOSA A and Applied Optics: Introduction|url=https://www.osapublishing.org/abstract.cfm?uri=josaa-26-8-OHPC1|journal=JOSA A|language=EN|volume=26|issue=8|pages=OHPC1–OHPC2|doi=10.1364/JOSAA.26.0OHPC1|issn=1520-8532}}</ref> ''and'' Optical SuperComputing<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Oltean|first2=Mihai|date=2015-09-01|title=Optical SuperComputing: Preface to special issue|url=https://link.springer.com/article/10.1007/s11047-015-9510-9|journal=Natural Computing|language=en|volume=14|issue=3|pages=431–432|doi=10.1007/s11047-015-9510-9|issn=1567-7818}}</ref>). Published several papers including a commentary in the Nature photonics journal,<ref>{{Cite web|url=https://www.nature.com/articles/nphoton.2010.94|title=Why future supercomputing requires optics|last=Caulfield|first=H. John|last2=Dolev|first2=Shlomi|date=2010-05-01|website=Nature Photonics|language=En|access-date=2017-12-30}}</ref> a nature communication contribution,<ref>{{Cite journal|last=Cohen|first=Eyal|last2=Dolev|first2=Shlomi|last3=Rosenblit|first3=Michael|date=2016-04-26|title=All-optical design for inherently energy-conserving reversible gates and circuits|url=https://www.nature.com/articles/ncomms11424|journal=Nature Communications|language=En|volume=7|pages=11424|doi=10.1038/ncomms11424}}</ref> and a patent.<ref>{{Citation|title=Optical implementation of bounded non-deterministic turing machines|date=Jan 20, 2005|url=http://www.google.com/patents/US20050013531|inventor-last=Dolev|inventor2-last=Nir|inventor-first=Shlomo|inventor2-first=Yuval|issue=US20050013531 A1|accessdate=2017-12-30}}</ref>

Dolev also contributed to other research field samples include: [[Complex network|Complex Networks]],<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Elovici|first2=Yuval|last3=Puzis|first3=Rami|date=May 2010|title=Routing Betweenness Centrality|url=http://doi.acm.org/10.1145/1734213.1734219|journal=J. ACM|volume=57|issue=4|pages=25:1–25:27|doi=10.1145/1734213.1734219|issn=0004-5411}}</ref> [[Data structure|Data Structures]],<ref>{{Cite journal|date=2013-03-04|title=Unique permutation hashing|url=https://www.sciencedirect.com/science/article/pii/S0304397513000133|journal=Theoretical Computer Science|volume=475|pages=59–65|doi=10.1016/j.tcs.2012.12.047|issn=0304-3975}}</ref> Brain Science,<ref>{{Cite journal|last=Berend|first=Daniel|last2=Dolev|first2=Shlomi|last3=Hanemann|first3=Ariel|date=2014-11-07|title=Graph Degree Sequence Solely Determines the Expected Hopfield Network Pattern Stability|url=https://www.mitpressjournals.org/doi/10.1162/NECO_a_00685|journal=Neural Computation|volume=27|issue=1|pages=202–210|doi=10.1162/NECO_a_00685|issn=0899-7667}}</ref> Real-time Computation,<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Keizelman|first2=Alexander|date=1999-07-01|title=Non-Preemptive Real-Time Scheduling of Multimedia Tasks|url=https://link.springer.com/article/10.1023/A:1008033411290|journal=Real-Time Systems|language=en|volume=17|issue=1|pages=23–39|doi=10.1023/A:1008033411290|issn=0922-6443}}</ref> Compression,<ref>{{Cite journal|last=Dolev|first=S.|last2=Frenkel|first2=S.|last3=Kopeetsky|first3=M.|date=August 2014|title=Entropy Adaptive On-Line Compression|url=http://ieeexplore.ieee.org/document/6924222/|journal=2014 IEEE 13th International Symposium on Network Computing and Applications|pages=162–166|doi=10.1109/NCA.2014.31}}</ref> [[Game theory|Game Theory]],<ref>{{Cite book|url=https://link.springer.com/chapter/10.1007/978-3-319-24024-4_2|title=Algorithms, Probability, Networks, and Games|last=Dolev|first=Shlomi|date=2015|publisher=Springer, Cham|isbn=9783319240237|series=Lecture Notes in Computer Science|pages=25–26|language=en|doi=10.1007/978-3-319-24024-4_2}}</ref> [[Erasure correcting code|Erasure Correcting]],<ref>{{Cite journal|last=Beimel|first=A.|last2=Dolev|first2=S.|last3=Singer|first3=N.|date=December 2007|title=RT Oblivious Erasure Correcting|url=http://ieeexplore.ieee.org/document/4359156/|journal=IEEE/ACM Transactions on Networking|volume=15|issue=6|pages=1321–1332|doi=10.1109/TNET.2007.896540|issn=1063-6692}}</ref> [[Transactional memory|Transactional Memory]],<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Hendler|first2=Danny|last3=Suissa|first3=Adi|date=2008|title=CAR-STM: Scheduling-based Collision Avoidance and Resolution for Software Transactional Memory|url=http://doi.acm.org/10.1145/1400751.1400769|journal=Proceedings of the Twenty-seventh ACM Symposium on Principles of Distributed Computing|series=PODC '08|location=New York, NY, USA|publisher=ACM|pages=125–134|doi=10.1145/1400751.1400769|isbn=9781595939890}}</ref> Error Correcting Computations,<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Frenkel|first2=Sergey|last3=Tamir|first3=Dan E.|last4=Sinelnikov|first4=Vladimir|date=2013-12-01|title=Preserving Hamming Distance in Arithmetic and Logical Operations|url=https://link.springer.com/article/10.1007/s10836-013-5421-9|journal=Journal of Electronic Testing|language=en|volume=29|issue=6|pages=903–907|doi=10.1007/s10836-013-5421-9|issn=0923-8174}}</ref> [[Verification and validation|Verification]],<ref>{{Cite journal|last=Brukman|first=Olga|last2=Dolev|first2=Shlomi|date=2011-08-01|title=Recovery oriented programming: runtime monitoring of safety and liveness|url=https://link.springer.com/article/10.1007/s10009-011-0200-3|journal=International Journal on Software Tools for Technology Transfer|language=en|volume=13|issue=4|pages=377–395|doi=10.1007/s10009-011-0200-3|issn=1433-2779}}</ref> [[Machine learning|Machine Learning]]<ref>{{Cite journal|last=Dolev|first=Shlomi|last2=Leshem|first2=Guy|last3=Yagel|first3=Reuven|date=2010|title=Purifying Data by Machine Learning with Certainty Levels|url=http://doi.acm.org/10.1145/1953563.1953567|journal=Proceedings of the Third International Workshop on Reliability, Availability, and Security|series=WRAS '10|location=New York, NY, USA|publisher=ACM|pages=5:1–5:6|doi=10.1145/1953563.1953567|isbn=9781450306423}}</ref> and [[Nanotechnology]]<ref>{{Cite journal|last=Cohen|first=Eyal|last2=Dolev|first2=Shlomi|last3=Rosenblit|first3=Michael|date=2012-07-19|title=A Nano-Optics Vector Matrix Multiplier for Implementing State Machines|url=https://link.springer.com/chapter/10.1007/978-3-642-38250-5_9|journal=Optical Supercomputing|series=Lecture Notes in Computer Science|language=en|publisher=Springer, Berlin, Heidelberg|pages=78–91|doi=10.1007/978-3-642-38250-5_9|isbn=9783642382499}}</ref>.

Shlomi frequently collaborates with many other researchers in computer science including [[Jeffrey Ullman]], [[Nancy Lynch]], [[Adi Shamir]], [[Moti Yung]] and  [[Noga Alon]].
*

⚫
==External Links==
⚫
* [http://www.cs.bgu.ac.il/~dolev Shlomi Dolev's home page] at the Ben-Gurion University.
*{{cite web
*{{cite web
| url=http://genealogy.math.ndsu.nodak.edu/id.php?id=86425
| url=http://genealogy.math.ndsu.nodak.edu/id.php?id=86425
Line 25: Line 47:
| work=Mathematics Genealogy Project
| work=Mathematics Genealogy Project
}}
}}
*Self-Stabilization - Book reviews by Gregson (2001)<ref>{{Cite journal|last=Gregson|first=Robert A. M.|date=2001-04-01|title=Book Review: Self-Stabilization, by Shlomi Dolev. Cambridge, MA: The MIT Press, Cambridge MA, 2000. 197 pp. ISBN 0-262-04178-2|url=https://link.springer.com/article/10.1023/A:1026475602858|journal=Nonlinear Dynamics, Psychology, and Life Sciences|language=en|volume=5|issue=2|pages=195–196|doi=10.1023/A:1026475602858|issn=1090-0578}}</ref> and Jakubczyc (2002).<ref>{{Cite web|url=http://dblp.uni-trier.de/pers/ht/j/Jakubczyc:Janina|title=dblp: Janina Jakubczyc|website=dblp.uni-trier.de|language=en|access-date=2017-12-30}}</ref>
*{{Cite journal
* [https://www.cs.bgu.ac.il/~dolev/book/dijkstra-letter.html Letter on the book] "Self-Stabilization" by [[Edsger W. Dijkstra]].
| last=Gregson | first=Robert A. M.
⚫
* [http://www.ams.org/mathscinet/MRAuthorID/615572 Dolev, Shlomi] at [[MathSciNet]].
| title=Book Review: Self-Stabilization, by Shlomi Dolev
* {{DBLP |name=Shlomi Dolev}}.
| journal=Nonlinear Dynamics, Psychology, and Life Sciences
| volume=5
| issue=2
| year=2001
| pages=195–196
| doi=10.1023/A:1026475602858
| ref=harv
| postscript=<!--None-->
}}.
*{{Cite journal
| last=Jakubczyc | first=Janina
| title=Book Review: Motivating Self-Stabilization
| journal=IEEE Distributed Systems Online
| volume=3
| issue=9
| year=2002
| url=http://computer.org/portal/site/dsonline/index.jsp?pageID=dso_level1&path=dsonline/past_issues/0209/d&file=bks_b.xml&xsl=article.xsl
| ref=harv
| postscript=<!--None-->
}}.

⚫
==External links==
⚫
*[http://www.ams.org/mathscinet/MRAuthorID/615572 Dolev, Shlomi] at [[MathSciNet]]
⚫
*{{DBLP |name=Shlomi Dolev}}

⚫
{{Authority control}}


⚫
==References==
{{DEFAULTSORT:Dolev, Shlomi}}
{{DEFAULTSORT:Dolev, Shlomi}}
[[Category:Year of birth missing (living people)]]
[[Category:Year of birth missing (living people)]]
Line 61: Line 59:
[[Category:Theoretical computer scientists]]
[[Category:Theoretical computer scientists]]
[[Category:Researchers in distributed computing]]
[[Category:Researchers in distributed computing]]
⚫
<references />{{Authority control}}


⚫
{{Israel-scientist-stub}}
{{compu-scientist-stub}}

Revision as of 12:17, 30 December 2017

Shlomi Dolev
Born1958
Scientific career
FieldsComputer Science
InstitutionsBen-Gurion University of the Negev
Academic advisorsShlomo Moran, Amos Israeli
Websitehttps://www.cs.bgu.ac.il/~dolev/

Shlomi Dolev (Hebrew: שלומי דולב, 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 Frankel Center for Computer Science.

Biography and Academic Career

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. In 1995 he joined the Department of Mathematics and Computer Science at BGU. Shlomi is the founder and the first department head of the Computer Science Department at BGU, established in 2000. After just 15 years, the department has been ranked among the first 150 best departments in the world.[1] He is the author of a book entitled Self-Stabilization published by MIT Press in 2000.[2] From 2011 to 2014, Prof. Dolev served as the Dean of the Natural Sciences Faculty at Ben-Gurion University of the Negev. From 2010 he has served for six years, as the Head of the Inter University Computation Center of Israel.[3] He is a co-founder, board member and CSO of Secret Double Octopus Ltd.[4] He is also a co-founder of Secret Sky (SecretSkyDB) Ltd.[5] In 2015 Shlomi was appointed as the steering committee head of the computer science discipline of the Ministry of Education of Israel.

Dolev together with Yuval Elovici and Ehud Gudes established the Telekom Innovation Laboratories at Ben-Gurion University. Dolev was also was instrumental in establishing the IBM BGU center of excellence, and JVP Cyber Labs.[6] Several agencies and companies support his research including ISF, NSF, IBM (faculty awards), Verisign,[7] EMC, Intel, Orange France, Deutsche Telekom, US Airforce and the European Union in the sum of several millions of dollars.

During his stay at Ben-Gurion University Shlomi had visiting positions in several institutions including MIT,[8] Paris 11, Paris 6 and DIMACS.[9] He served in more than a hundred program committees, chairing several including the two leading conferences in distributed computing, DISC 2006,[10] and PODC 2014.[11]

Shlomi served and serves as an Associate Editor in several international journals including the IEEE Transactions on Computers and PeerJ. His research students more than ten PostDocs, over fifteen PhD students[12] and twenty MSc students, are positioned in Hi-Tech companies, including IBM, Microsoft, Google and Academia.

Research Work

Dolev initiated a transfer of single event workshop on self-stabilization (Austin,1989) to a series of events on the subject.[13][14]

Dolev's Master thesis, under the supervision of Shlomo Moran and Amos Israeli, resulted in the most cited paper on self-stabilization.[15] The paper, following the pioneering paper of Dijkstra[16] on the subject, is 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,[17] Super Stabilizing algorithms that react gracefully to dynamic changes while preserving the automatic recovery property offered by self-stabilizing systems. Convergence in spite of Byzantine malicious activity of a portion of the participants.[18] Dolev also introduced with co-authors, the concepts of, Silent Stabilization,[19] Local stabilization,[20] Practically Stabilizing,[21][22][23][24] Self-stabilizing and Self-organizing,[25] Transient Failure Detectors and Yielding Labeling Schemes.[26] He also presented the first silent self-stabilizing depth first search distributed algorithm.

Another prominent body of research in Dolev's research is related to 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.[27]

Dolev's research in cryptography and cyber security research contributions include the introduction of the xor-trees[28] and buses,[29] דecret sharing communication and the accumulating automata[30] and secret shared random-access machine[31], which evolved to patents and establishment of a start-ups.

The research on optical computing and complexity complements Dolev's cryptographic research, searching for the use of computation gaps,[32] and provable hard on average instances.[33] Dolev initiated a series of four optical supercomputing workshops[34] and several journal special issues (e.g., Optical High-Performance Computing—JOSA A and Applied Optics[35] and Optical SuperComputing[36]). Published several papers including a commentary in the Nature photonics journal,[37] a nature communication contribution,[38] and a patent.[39]

Dolev also contributed to other research field samples include: Complex Networks,[40] Data Structures,[41] Brain Science,[42] Real-time Computation,[43] Compression,[44] Game Theory,[45] Erasure Correcting,[46] Transactional Memory,[47] Error Correcting Computations,[48] Verification,[49] Machine Learning[50] and Nanotechnology[51].

Shlomi frequently collaborates with many other researchers in computer science including Jeffrey Ullman, Nancy Lynch, Adi Shamir, Moti Yung and  Noga Alon.

External Links

  • Shlomi Dolev's home page at the Ben-Gurion University.
  • "Shlomi Dolev". Mathematics Genealogy Project.
  • Self-Stabilization - Book reviews by Gregson (2001)[52] and Jakubczyc (2002).[53]
  • Letter on the book "Self-Stabilization" by Edsger W. Dijkstra.
  • Dolev, Shlomi at MathSciNet.
  • Shlomi Dolev at DBLP Bibliography Server Edit this at Wikidata.

References

  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. ^ "Secret Double Octopus - Password-free keyless security". doubleoctopus.com. Retrieved 2017-12-30.
  5. ^ "Secret Sky". www.secretsky.io. Retrieved 2017-12-30.
  6. ^ Strom, David. "Why Israel could be the next cybersecurity world power". ITworld. Retrieved 2017-12-30.
  7. ^ "Verisign "Building a Better Internet" Symposium to Highlight Internet Leaders and Visionaries (NASDAQ:VRSN)". investor.verisign.com. Retrieved 2017-12-30.
  8. ^ "Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology". groups.csail.mit.edu. Retrieved 2017-12-30. {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  9. ^ "Past Visitors At DIMACS". dimacs.rutgers.edu. Retrieved 2017-12-30.
  10. ^ "DISC 2006". www.disc-conference.org. Retrieved 2017-12-30.
  11. ^ "ACM PODC 2014". www.podc.org. Retrieved 2017-12-30.
  12. ^ "Shlomi Dolev - The Mathematics Genealogy Project". genealogy.math.ndsu.nodak.edu. Retrieved 2017-12-30.
  13. ^ "Self-Stabilization Home Page". www.selfstabilization.org. Retrieved 2017-12-30.
  14. ^ "WSS 95 Call For Papers". www.cs.bgu.ac.il. Retrieved 2017-12-30.
  15. ^ Dalev, 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: 103–117. doi:10.1145/93385.93407. ISBN 089791404X.
  16. ^ Dijkstra, Edsger W. (1982). 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.
  17. ^ 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.
  18. ^ Dolev, Shlomi; Welch, Jennifer L. (September 2004). "Self-stabilizing Clock Synchronization in the Presence of Byzantine Faults". J. ACM. 51 (5): 780–799. doi:10.1145/1017460.1017463. ISSN 0004-5411.
  19. ^ 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.
  20. ^ Afek, Y.; Dolev, S. (June 1997). "Local stabilizer". Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems: 74–84. doi:10.1109/ISTCS.1997.595159.
  21. ^ "When consensus meets self-stabilization". Journal of Computer and System Sciences. 76 (8): 884–900. 2010-12-01. doi:10.1016/j.jcss.2010.05.005. ISSN 0022-0000.
  22. ^ "Practically stabilizing SWMR atomic memory in message-passing systems". Journal of Computer and System Sciences. 81 (4): 692–701. 2015-06-01. doi:10.1016/j.jcss.2014.11.014. ISSN 0022-0000.
  23. ^ Blanchard, Peva; Dolev, Shlomi; Beauquier, Joffroy; Delaët, Sylvie (2014). Networked Systems. Lecture Notes in Computer Science. Springer, Cham. pp. 99–121. doi:10.1007/978-3-319-09581-3_8. ISBN 9783319095806.
  24. ^ Dolev, Shlomi; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, Elad M. (2017-05-17). "Self-stabilizing Reconfiguration". Networked Systems. Lecture Notes in Computer Science. Springer, Cham: 51–68. doi:10.1007/978-3-319-59647-1_5. ISBN 9783319596464.
  25. ^ "Empire of colonies: Self-stabilizing and self-organizing distributed algorithm". Theoretical Computer Science. 410 (6–7): 514–532. 2009-02-28. doi:10.1016/j.tcs.2008.10.006. ISSN 0304-3975.
  26. ^ 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: 62–74. doi:10.1007/BFb0056474. ISBN 9783540650669.
  27. ^ "Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology". groups.csail.mit.edu. Retrieved 2017-12-30. {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  28. ^ Dolev, Shlomi; Ostrobsky, Rafail (May 2000). "Xor-trees for Efficient Anonymous Multicast and Reception". ACM Trans. Inf. Syst. Secur. 3 (2): 63–84. doi:10.1145/354876.354877. ISSN 1094-9224.
  29. ^ Beimel; Dolev (2003-01-01). "Buses for Anonymous Message Delivery". Journal of Cryptology. 16 (1): 25–39. doi:10.1007/s00145-002-0128-6. ISSN 0933-2790.
  30. ^ 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: 21–29. doi:10.1145/2732516.2732526. ISBN 9781450334471.
  31. ^ 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.
  32. ^ "Magnifying computing gaps: Establishing encrypted communication over unidirectional channels". Theoretical Computer Science. 636: 17–26. 2016-07-11. doi:10.1016/j.tcs.2016.04.032. ISSN 0304-3975.
  33. ^ 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: 183–196. doi:10.1007/978-3-642-38233-8_16. ISBN 9783642382321.
  34. ^ Optical Supercomputing | SpringerLink. doi:10.1007/978-3-642-38250-5.
  35. ^ 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. doi:10.1364/JOSAA.26.0OHPC1. ISSN 1520-8532.
  36. ^ 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.
  37. ^ Caulfield, H. John; Dolev, Shlomi (2010-05-01). "Why future supercomputing requires optics". Nature Photonics. Retrieved 2017-12-30.
  38. ^ Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (2016-04-26). "All-optical design for inherently energy-conserving reversible gates and circuits". Nature Communications. 7: 11424. doi:10.1038/ncomms11424.
  39. ^ Optical implementation of bounded non-deterministic turing machines, Jan 20, 2005, retrieved 2017-12-30 {{citation}}: Unknown parameter |inventor-first= ignored (help); Unknown parameter |inventor-last= ignored (help); Unknown parameter |inventor2-first= ignored (help); Unknown parameter |inventor2-last= ignored (help)
  40. ^ Dolev, Shlomi; Elovici, Yuval; Puzis, Rami (May 2010). "Routing Betweenness Centrality". J. ACM. 57 (4): 25:1–25:27. doi:10.1145/1734213.1734219. ISSN 0004-5411.
  41. ^ "Unique permutation hashing". Theoretical Computer Science. 475: 59–65. 2013-03-04. doi:10.1016/j.tcs.2012.12.047. ISSN 0304-3975.
  42. ^ 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.
  43. ^ 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.
  44. ^ Dolev, S.; Frenkel, S.; Kopeetsky, M. (August 2014). "Entropy Adaptive On-Line Compression". 2014 IEEE 13th International Symposium on Network Computing and Applications: 162–166. doi:10.1109/NCA.2014.31.
  45. ^ Dolev, Shlomi (2015). Algorithms, Probability, Networks, and Games. Lecture Notes in Computer Science. Springer, Cham. pp. 25–26. doi:10.1007/978-3-319-24024-4_2. ISBN 9783319240237.
  46. ^ Beimel, A.; Dolev, S.; Singer, N. (December 2007). "RT Oblivious Erasure Correcting". IEEE/ACM Transactions on Networking. 15 (6): 1321–1332. doi:10.1109/TNET.2007.896540. ISSN 1063-6692.
  47. ^ 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: 125–134. doi:10.1145/1400751.1400769. ISBN 9781595939890.
  48. ^ 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.
  49. ^ 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.
  50. ^ 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: 5:1–5:6. doi:10.1145/1953563.1953567. ISBN 9781450306423.
  51. ^ 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: 78–91. doi:10.1007/978-3-642-38250-5_9. ISBN 9783642382499.
  52. ^ Gregson, Robert A. M. (2001-04-01). "Book Review: Self-Stabilization, by Shlomi Dolev. Cambridge, MA: The MIT Press, Cambridge MA, 2000. 197 pp. ISBN 0-262-04178-2". Nonlinear Dynamics, Psychology, and Life Sciences. 5 (2): 195–196. doi:10.1023/A:1026475602858. ISSN 1090-0578.
  53. ^ "dblp: Janina Jakubczyc". dblp.uni-trier.de. Retrieved 2017-12-30.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Shlomi_Dolev&oldid=817763506"