Nir Shavit ( he, ניר שביט) is an Israeli computer scientist. He is a professor in the

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 ...

Department at

Tel Aviv University Tel Aviv University (TAU) ( he, אוּנִיבֶרְסִיטַת תֵּל אָבִיב, ''Universitat Tel Aviv'') is a public research university in Tel Aviv, Israel. With over 30,000 students, it is the largest university in the country. Locate ...

and a professor of electrical engineering and computer science at the

Massachusetts Institute of Technology 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 ...

. Nir Shavit received B.Sc. and M.Sc. degrees 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 ...

from the Technion - Israel Institute of Technology in 1984 and 1986, and a Ph.D. in computer science from the

Hebrew University of Jerusalem The Hebrew University of Jerusalem (HUJI; he, הַאוּנִיבֶרְסִיטָה הַעִבְרִית בִּירוּשָׁלַיִם) is a public research university based in Jerusalem, Israel. Co-founded by Albert Einstein and Dr. Chaim Weiz ...

in 1990. Shavit is a co-author of the book ''The Art of Multiprocessor Programming'', is a winner of the 2004

Gödel Prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Inter ...

in theoretical computer science for his work on applying tools from

algebraic topology Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...

to model shared memory computability, and a winner of the 2012

Dijkstra Prize The Edsger W. Dijkstra Paper Prize in Distributed Computing is given for outstanding papers on the principles of distributed computing, whose significance and impact on the theory and/or practice of distributed computing has been evident for at lea ...

for the introduction and first implementation of

software transactional memory In computer science, software transactional memory (STM) is a concurrency control mechanism analogous to database transactions for controlling access to shared memory in concurrent computing. It is an alternative to lock-based synchronization. STM ...

. He is a past program chair of the ACM

Symposium on Principles of Distributed Computing The Symposium on Principles of Distributed Computing (PODC) is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery (special interest groups SIGACT and SIGOPS). Scope and rela ...

(PODC) and the ACM

Symposium on Parallelism in Algorithms and Architectures SPAA, the ACM Symposium on Parallelism in Algorithms and Architectures, is an academic conference in the fields of parallel computing and distributed computing. It is sponsored by the Association for Computing Machinery special interest groups SIG ...

(SPAA). His research covers techniques for designing, implementing, and reasoning about multiprocessors, and in particular the design of

concurrent data structure In computer science, a concurrent data structure is a particular way of storing and organizing data for access by multiple computing threads (or processes) on a computer. Historically, such data structures were used on uniprocessor machines w ...

s for

multi-core A multi-core processor is a microprocessor on a single integrated circuit with two or more separate processing units, called cores, each of which reads and executes program instructions. The instructions are ordinary CPU instructions (such a ...

machines.

Recognition

* 2004

Gödel prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Inter ...

* 2012

* 2013

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

of the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

Currently he has co-founded a company named Neural Magic along with Alexzander Mateev. The company claims to use highly sparse neural networks to make deep learning computationally so efficient that GPUs won't be needed. For certain use cases they claim a speed up of 175x.

References

External links

cs.tau.ac.ilcsail.mit.edu
Living people Dijkstra Prize laureates Electrical engineering academics Fellows of the Association for Computing Machinery Gödel Prize laureates Hebrew University of Jerusalem School of Computer Science & Engineering alumni Israeli computer scientists Israeli Jews MIT School of Engineering faculty Researchers in distributed computing Technion – Israel Institute of Technology alumni Year of birth missing (living people) Theoretical computer scientists {{Israel-bio-stub