Nir Shavit
Encyclopedia
Nir Shavit is a Professor in the Computer Science
Department at Tel Aviv University
.
Nir Shavit received B.Sc. and M.Sc. degrees in Computer Science from the Technion - Israel Institute of Technology
in 1984 and 1986, and a Ph.D. in Computer Science
from the Hebrew University of Jerusalem
in 1990. Shavit is a co-author of the book The Art of Multiprocessor Programming, and is a winner of the 2004 Gödel Prize
in theoretical computer science for his work on applying tools from algebraic topology to model shared memory computability. He is a past program chair of the ACM Symposium on Principles of Distributed Computing
(PODC) and the ACM Symposium on Parallelism in Algorithms and Architectures
(SPAA).
His research covers techniques for designing, implementing, and reasoning about multiprocessors, and in particular the design of concurrent data structure
s for multi-core machines. His notable contributions include the introduction and first implementation of Software Transactional Memory
.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
Department at Tel Aviv University
Tel Aviv University
Tel Aviv University is a public university located in Ramat Aviv, Tel Aviv, Israel. With nearly 30,000 students, TAU is Israel's largest university.-History:...
.
Nir Shavit received B.Sc. and M.Sc. degrees in Computer Science from the Technion - Israel Institute of Technology
Technion - Israel Institute of Technology
The Technion – Israel Institute of Technology is a research-intensive institute of technology in Haifa, Israel. Originally called the Technikum, it was founded in 1912...
in 1984 and 1986, and a Ph.D. in Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
from the Hebrew University of Jerusalem
Hebrew University of Jerusalem
The Hebrew University of Jerusalem ; ; abbreviated HUJI) is Israel's second-oldest university, after the Technion – Israel Institute of Technology. The Hebrew University has three campuses in Jerusalem and one in Rehovot. The world's largest Jewish studies library is located on its Edmond J...
in 1990. Shavit is a co-author of the book The Art of Multiprocessor Programming, and is a winner of the 2004 Gödel Prize
Gödel Prize
The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory .The...
in theoretical computer science for his work on applying tools from algebraic topology to model shared memory computability. He is a past program chair of the ACM Symposium on Principles of Distributed Computing
Symposium on Principles of Distributed Computing
The Symposium on Principles of Distributed Computing is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery ....
(PODC) and the ACM Symposium on Parallelism in Algorithms and Architectures
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...
(SPAA).
His research covers techniques for designing, implementing, and reasoning about multiprocessors, and in particular the design of concurrent data structure
Concurrent data structure
In computer science, a concurrent data structure is aparticular way of storing and organizing data for access bymultiple computing threads on a computer.Historically, such data structures were used on uniprocessor...
s for multi-core machines. His notable contributions include the introduction and first implementation of Software Transactional Memory
Software transactional memory
In computer science, software transactional memory 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. A transaction in this context is a piece of code that...
.