Shlomi Dolev ( he, שלומי דולב; born December 5, 1958) is a Rita Altura Trust Chair
Professor
Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who pr ...
in
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
at
Ben-Gurion University of the Negev
Ben-Gurion University of the Negev (BGU) ( he, אוניברסיטת בן-גוריון בנגב, ''Universitat Ben-Guriyon baNegev'') is a public research university in Beersheba, Israel. Ben-Gurion University of the Negev has five campuses: the ...
(BGU) and the head of the BGU Negev Hi-Tech Faculty Startup Accelerato
Biography
Shlomi Dolev received
Bachelor of Science, B.Sc. in
Civil Engineering
Civil engineering is a professional engineering discipline that deals with the design, construction, and maintenance of the physical and naturally built environment, including public works such as roads, bridges, canals, dams, airports, sewage ...
and
B.A.
Bachelor of arts (BA or AB; from the Latin ', ', or ') is a bachelor's degree awarded for an undergraduate program in the arts, or, in some cases, other disciplines. A Bachelor of Arts degree course is generally completed in three or four years ...
in Computer Science in 1984 and 1985, and his
M.Sc.
A Master of Science ( la, Magisterii Scientiae; abbreviated MS, M.S., MSc, M.Sc., SM, S.M., ScM or Sc.M.) is a master's degree in the field of science awarded by universities in many countries or a person holding such a degree. In contrast to ...
and
D.Sc.
Doctor of Science ( la, links=no, Scientiae Doctor), usually abbreviated Sc.D., D.Sc., S.D., or D.S., is an academic research degree awarded in a number of countries throughout the world. In some countries, "Doctor of Science" is the degree used f ...
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
Texas A&M University (Texas A&M, A&M, or TAMU) is a public, land-grant, research university in College Station, Texas. It was founded in 1876 and became the flagship institution of the Texas A&M University System in 1948. As of late 2021, T ...
as a visiting research specialist.
Academic career
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
Self-stabilization is a concept of fault-tolerance in distributed systems. Given any initial state, a self-stabilizing distributed system will end up in a correct state in a finite number of execution steps.
At first glance, the guarantee of self ...
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
Secret Double Octopus (SDO) is an Israeli software company specializing in passwordless authentication for enterprise environments.
History
The company was founded in 2015 by a team of entrepreneurs and security researchers from Ben-Gurion Univ ...
. 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
T-Labs, formerly known as "Telekom Innovation Laboratories", is the R&D unit of Deutsche Telekom. T-Labs current research areas are: Future Networks, Spatial Computing and Decentralized Systems.
History
T-Labs were founded in 2004 as the cen ...
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, an
JVPCyber Labs. Several agencies and companies support his research including ISF,
NSF
NSF may stand for:
Political organizations
*National Socialist Front, a Swedish National Socialist party
*NS-Frauenschaft, the women's wing of the former German Nazi party
*National Students Federation, a leftist Pakistani students' political gr ...
,
IBM (faculty awards),
Verisign
Verisign Inc. is an American company based in Reston, Virginia, United States that operates a diverse array of network infrastructure, including two of the Internet's thirteen root nameservers, the authoritative registry for the , , and gener ...
, EMC,
Intel
Intel Corporation is an American multinational corporation and technology company headquartered in Santa Clara, California. It is the world's largest semiconductor chip manufacturer by revenue, and is one of the developers of the x86 seri ...
,
Orange France
Orange S.A. (), formerly France Télécom S.A. (stylized as france telecom) is a French multinational corporation, multinational telecommunications corporation. It has 266 million customers worldwide and employs 89,000 people in France, and 5 ...
,
Deutsche Telekom
Deutsche Telekom AG (; short form often just Telekom, DTAG or DT; stylised as ·T·) is a German telecommunications company that is headquartered in Bonn and is the largest telecommunications provider in Europe by revenue. Deutsche Telekom was ...
,
US Airforce and the
European Union
The European Union (EU) is a supranational political and economic union of member states that are located primarily in Europe. The union has a total area of and an estimated total population of about 447million. The EU has often been des ...
in the sum of several millions of dollars.
Dolev was a visiting professor at
MIT
The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the m ...
, Paris 11,
Paris 6 and
DIMACS
The Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) is a collaboration between Rutgers University, Princeton University, and the research firms AT&T, Bell Labs, Applied Communication Sciences, and NEC. It was founded in 1 ...
. He served in more than a hundred program committees, chairing two leading conferences in
distributed computing
A distributed system is a system whose components are located on different computer network, networked computers, which communicate and coordinate their actions by message passing, passing messages to one another from any system. Distributed com ...
, 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
An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies.
The highest-ranking editor of a publication may also be titled editor, managing ...
of the
IEEE
The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operation ...
Transactions on Computers and
PeerJ
''PeerJ'' is an open access peer-reviewed scientific mega journal covering research in the biological and medical sciences. It is published by a company of the same name that was co-founded by CEO Jason Hoyt (formerly at Mendeley) and publisher Pet ...
.
Dolev became a fellow of the
European Alliance for Innovation in 2019, (EAI), and in 2020 became IEEE fello
Research work
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
Cryptography, or cryptology (from grc, , translit=kryptós "hidden, secret"; and ''graphein'', "to write", or ''-logia'', "study", respectively), is the practice and study of techniques for secure communication in the presence of adver ...
and
cyber security
Computer security, cybersecurity (cyber security), or information technology security (IT security) is the protection of computer systems and networks from attack by malicious actors that may result in unauthorized information disclosure, the ...
research contributions include the introduction of the xor-trees and buses, secret sharing communication and the accumulating automata and secret shared
random-access machine
In computer science, random-access machine (RAM) is an abstract machine in the general class of register machines. The RAM is very similar to the counter machine but with the added capability of 'indirect addressing' of its registers. Like the cou ...
, which evolved to patents and establishment of start-ups.
Research on
optical computing
Optical computing or photonic computing uses light waves produced by lasers or incoherent sources for data processing, data storage or data communication for computing. For decades, photons have shown promise to enable a higher bandwidth than the ...
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
Reversible computing is any model of computation where the computational process, to some extent, is time-reversible. In a model of computation that uses deterministic transitions from one state of the abstract machine to another, a necessary c ...
and a patent.
Dolev has also contributed to research in
Complex Networks
Complex Networks is an American media and entertainment company for youth culture, based in New York City. It was founded as a bi-monthly magazine, ''Complex'', by fashion designer Marc (Ecko) Milecofsky. Complex Networks reports on popular a ...
,
Hash Function
A hash function is any function that can be used to map data of arbitrary size to fixed-size values. The values returned by a hash function are called ''hash values'', ''hash codes'', ''digests'', or simply ''hashes''. The values are usually u ...
Data Structures
In computer science, a data structure is a data organization, management, and storage format that is usually chosen for efficient access to data. More precisely, a data structure is a collection of data values, the relationships among them, a ...
, Brain Science, Real-time Computation, Compression,
Game Theory
Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has appli ...
,
Erasure Correcting,
Transactional Memory In computer science and engineering, transactional memory attempts to simplify concurrent programming by allowing a group of load and store instructions to execute in an atomic way. It is a concurrency control mechanism analogous to database transa ...
, Error Correcting Computations,
Verification
Verify or verification may refer to:
General
* Verification and validation, in engineering or quality management systems, is the act of reviewing, inspecting or testing, in order to establish and document that a product, service or system meets ...
,
Machine Learning
Machine learning (ML) is a field of inquiry devoted to understanding and building methods that 'learn', that is, methods that leverage data to improve performance on some set of tasks. It is seen as a part of artificial intelligence.
Machine ...
,
Nanotechnology
Nanotechnology, also shortened to nanotech, is the use of matter on an atomic, molecular, and supramolecular scale for industrial purposes. The earliest, widespread description of nanotechnology referred to the particular technological goal o ...
and
Cache replacement policy
In computing, cache algorithms (also frequently called cache replacement algorithms or cache replacement policies) are optimizing instructions, or algorithms, that a computer program or a hardware-maintained structure can utilize in order to ma ...
.
References
External links
Shlomi Dolev's home pageat the Ben-Gurion University.
*
{{DEFAULTSORT:Dolev, Shlomi
Living people
Israeli computer scientists
Theoretical computer scientists
Researchers in distributed computing
1958 births