Institute for the Theory of Computing
המכון לתיאוריה של מדעי המחשב 
Institute for the Theory of Computing
The Institute for the Theory of Computing is a leading center for research, teaching, and training in the foundational and mathematical areas of computer science, with a focus on deepening the understanding of computational principles. Faculty expertise spans algorithms, cryptography and coding theory, quantum computing, distributed and parallel computing, computational logic, automata and formal languages, learning theory, algorithmic game theory and fairness, complexity theory, randomness, computational geometry, combinatorics, and graph theory. These areas form the theoretical backbone of modern computer science and drive technological innovation. The institute brings together researchers, students, and scholars in a vibrant scientific community, promotes international collaboration, and is committed to developing the next generation of theoretical computer scientists. Through its activities, it aims to strengthen both global scientific progress and Ben-Gurion University’s position as a leader in the field.
Institute Chair
Prof. Shakhar Smorodinsky
Shakhar Smorodinsky is a Full Professor in the Faculty of Computer and Information Science at Ben-Gurion University of the Negev. His research focuses on discrete and computational geometry, combinatorics, and theoretical computer science. He has made significant contributions to problems in Discrete and computational geometry and hypergraph coloring theory.
Prof. Smorodinsky received his Ph.D. from Tel Aviv University under the supervision of Prof. Micha Sharir and held postdoctoral fellowships at ETH Zurich, MSRI Berkeley, NYU’s Courant Institute, and the Hebrew University of Jerusalem. He has published extensively in leading journals and conferences and is dedicated to fostering interdisciplinary collaboration and mentoring the next generation of researchers.
