Faculty Members

Research Interests: Cryptology and Cryptanalysis, Symmetric Cryptography, Quantum Cryptography and QuantumComputation. Prof. Eli Biham – Head of the Center

My primary research interest is in Artificial Intelligence (AI) computational and modeling problems, with an emphasis on interesting structure/complexity connections that can be found in different tasks of automated reasoning such as domain-independent planning, multi-agent system design, and user-centric information systems (via preferential reasoning). The recent focus of my work has been on heuristic-search planning, Monte-Carlo techniques for online planning in complex environments, planning for fault tolerance, and parametric complexity of various fragments of planning tasks. I am also getting more and more interested in foundations of planning for multi-agent systems. Tangentially, I am also interested in problems that lie on the boundary between computer science and social choice, e.g., various settins of rank aggregation, voting, recommendation, etc. (Disclaimer: my "research focus" appears to be quite a moving target as there are simply too many interesting questions ...) Prof. Carmel Domshlak

Research Areas: Information theory, signal processing, and networks. In particular, post-quantum cryptography, information theory security, information processing, and security in advanced data acquisition systems. Prof. Alejandro Cohen

Research Interests: Computer Vision, 3D Vision and Shape Analysis' Image and Signal Processing, Computational Imaging, Machine Learning, Large-scale Data Analysis Prof. Alexander Bronstein

Research Interests: Computer Communication Networks, QoS Support in Broadband Networks Routing, Applications of Game Theory to Computer Networking, Internet Pricing, Distributed and On-Line Network Algorithms. Prof. Ariel Orda

Research Interests: Parallel and Distributed Computing; Peer-to-Pear Computing Large ScaleData Mining; Scalable Model Checking; High-Performance ComputerArchitecture; Shared Memory Consistency Models; Java Memory Model; FaultTolerance; Distribute Shared Memory; Non-Stop Systems. Prof. Assaf Schuster

Research Interests: Operating systems, Computer architecture, HPC computers, cloud computing/computers and low power computers. Prof. Avi Mendelson

My main area of research can be broadly categorized as that of Data Integration. In my early career I have focused on various aspects of data semantics in cooperative information systems, including transaction management in a Web environment and schema matching. Since 2008, I have investigated aspects of uncertainty in data integration. The recent wave of big data ?ts well with my research agenda, which focuses on aspects of veracity in data integration (or simply put Big Data Integration). Prof. Avigdor Gal

Research Interests: CAD of Electronic Systems, VLSI System and Circuit Design. Prof. Avinoam Kolodny

Research Interests: Database systems and theory, information extraction, information retrieval, data mining, probabilistic and inconsistent databases Prof. Benny Kimelfeld

Research Interests: System software, operating systems, virtualization, system security, storage, hardware-software interfaces, performance evaluation Prof. Dan Tsafrir

Research Areas: Reliability and safety of software, including deep learning, computer networks, and smart contracts for blockchain frameworks. Research Interests: formal verification, program analysis and synthesis, programming languages, specification mining Prof. Dana Drachsler-Cohen

Research Interests: Aerodynamics, biofluid mechanics, hydrodynamics, autonomous robotics, space research Prof. Daniel Weihs

RESEARCH INTERESTS: Control Theory, multi-agent systems, networked systems, graph theory Prof. Daniel Zelazo

Research Interests: Theory and applications of management related problems in IP networks.Active Networks, network location problems, theory of networkmanagement, QoS routing, wireless networks, and other optimization problems. Prof. Danny Raz

Research Interests: Robot Vision; Robot Navigation; Motion Planning; Visual Servoing; Active Vision; Object Recognition; Artificial Intelligence; Image Understanding, Image Processing; Image Databases. Prof. Ehud Rivlin

Research Interests: Information and coding theory with applications to non-volatile memories, associative memories, data storage and retrieval, and voting theory. Prof. Eitan Yaakobi

Research Interests: Computational Complexity; Proof Complexity; Analysis of SAT solvers; Sub-linear time algorithms for Proof Checking and Error Correcting Codes. Prof. Eli Ben-Sasson

Research Interests: Program synthesis, machine learning and information-retrieval techniques for PL, Program analysis, abstract interpretation, verification, Programming Languages, software engineering Prof. Eran Yahav

Research Interests: concurrent computing, programming languages, and systems (mostly on memory management), parallelism, cryptography, data structures, approximation algorithms, and distributed computing. Prof. Erez Petrank

Research Interests: Cryptography and Privacy; Machine learning; Computational complexity and Communication complexity; Randomized distributed protocols. Prof. Eyal Kushilevitz

Research Interests: Distributed computation and theoretical computer science; in particular:Fault-tolerance; Timing-based and asynchronous algorithms. Prof. Hagit Attiya

Research Interests: Distributed algorithms and systems, Fault-tolerance and survivability of distributed systems Application-level multicast, Replication and coordination in distributed systems, Distributed algorithms for dynamic environments. Prof. Idit Keidar

Research Interests: Computer networks. Design and analysis of switches and routers. Data centers. Prof. Isaac Keslassy

Research Interests: High speed and converged network architectures, Wireless mobile network architectures, Network control protocols, Network QoS, Network on Chip (NOC), Distributed system architectures. Prof. Israel Cidon

Research Interests: Security and scalability of distributed systems, in particular blockchain protocols and trusted execution environments. I have previously worked on distributed storage algorithms and data aggregation in sensor networks. Prof. Ittay Eyal

Research Interests: Traffic flow theory, Traffic control, Control theory, Optimal control, Model Predictive Control, Traffic flow simulations, Hybrid systems, Large-scale transportation networks Prof. Jack Haddad

Research Interests: Distributed Computing, especially Probabilistic Algorithms and Lower Bounds, and Theory of Comp Prof. Keren Censor-Hillel

Research Areas: Machine Learning Research Interests: Large-scale problems, Statistical and online learning, Stochastic optimization, Systems and Control Prof. Kfir Yehuda Levy

Research Interests: Online learning, Statistical Learning Theory, Machine Learning and Pattern Recognition, Natural Language Processing. Prof. Koby Crammer

Research Interests:Computational complexity , NP-hard problems , Approximation algorithms , Discrete optimization Scheduling , Multiobjective optimization , Robust scheduling , Optimization of mean reverting price processes Prof. Liron Yedidsion

Research Interests: Systems, high throughput processors (GPUs), operating systems, parallel computing, distributed storage, hardware security. Prof. Mark Silberstein

Research Interests: Image processing and Computer Vision, especially the statistical analysis of visual tasks. Prof. Michael Lindenbaum

Research Interests: Estimation and Control of Systems with Non Gaussian Noises Innovative Future Air Traffic Control Concepts Robust and Adaptive Flight Control Systems and Applications Integrated Missile Guidance and Control Prof. Moshe Idan

Research Interests: Optical Communication – Advanced optical modulation formats and equalization techniques, MIMO techniques over multimode optical interconnects; Translucent optical networks, links and devices controlling light with light - Optical Computing; Quantum Information Processing, Quantum Communication and Quantum Computing; Integrated, Fiber and Wavepacket Optics, GPS satellite navigation systems Prof. Moshe Nazarathy

Research Interests: Protocols for non-cooperative environments , Learning in non-cooperative environments , Non, Cooperative Computation , Program Equilibrium and Learning Equilibrium , The power of mediators Ranking, Trust, and Reputation Systems , Advertising Mechanisms , The Agent Perspective in Game Theory , Artificial social Systems , Social Contexts in Multi-Agent Systems Prof. Moshe Tennenholtz

Research Areas: Computer Networks,Learning Systems,Stochastic Processes and their Applications,Systems and Control. Research Interests: Stochastic control, Dynamic games, Communication networks analysis and control, Learning processes. Prof. Nahum Shimkin

Research Interests: Information theory and statistical communications. Prof. Neri Merhav

Research Interests: Algorithms for analysis of large datasets, Fast dimension reduction techniques, Combinatorial optimization algorithms, Clustering, Ranking, Social Choice and Machine Learning. Prof. Nir Ailon

Research Interests: Database Systems: Theoretical aspects of query processing in relational databases, XML databases and logic based databases (Datalog); System issues: Physical storage, concurrency control, recovery, replication and distribution; Querying the WWW; Electronic Commerce; Automated Negotiation. Prof. Oded Shmueli

Research interests: Information retrieval, formal and empirical models Prof. Oren Kurland

RESEARCH INTERESTS: Computer networks, theory and algorithms for networks, hash based data structures, Blockchain technology. Prof. Ori Rottenstreich

Research Interests: Computer-aided verification of software and hardware; Model checking; formal verification; Temporal logics; Research Interests: Modularity; Abstraction; Distributed model checking, SAT-based model checking, games, 3-valued logics. Prof. Orna Grumberg

Research Interests: Cryptanalysis of symmetric key primitives Cryptanalytic methods Design methodologies for symmetric key cryptography Privacy in the digital world Computer Security Prof. Orr Dunkelman

Research Interests: Astrodynamics, Satellite Dynamics, Distributed Space Systems, and Vision-Aided Navigation Prof. Pini Gurfil

Research Interests: Machine learning and data mining, Online algorithms and competitive analysis, Computational finance Prof. Ran El-Yaniv

Research Interests: Parallel computing in VLSI, Asynchronous VLSI, Networks on chip. Prof. Ran Ginosar

Research Interests: Design and control of heterogeneous computer networks, Design and control of local wireless networks, Design and analysis of network protocols, Scheduling and QoS methods, Wireless communication networks, High speed communication networks. Prof. Raphael Rom

Research Interests: Architectures and protocols for computer networks: the Internet, wireless networks, cellular networks, broadband access networks, sensor networks,routing protocols, multicast, MAC protocols, and Transport protocols. Prof. Reuven Cohen

Research Interests: Random fields, Gaussian processes, stochastic geometry, and applications to statistical problems in fMRI imaging. Prof. Robert Adler

Research Interests: Image processing, Computer vision, Medical image analysis, Computer graphics, Differential geometry, Scientific computing. Prof. Ron Kimmel

Research Interests: Nonlinear signal processing, Signal and data analysis and modelling, Geometry and manifold learning, Diffusion geometry, Applied harmonic analysis, Biomedical signal processing,Anomaly and target detection, Speech and audio processing. Prof. Ronen Talmon

Research Interests: Distributed Systems; Group Communication; Middleware; Wireless Ad-Hoc Networks; High-Availability and Fault- Tolerance;Clustering; Scalable Dynamic (P2P) Systems. Prof. Roy Friedman

Research Interests: Design and analysis of algorithms, combinatorial optimization, approximation algorithms, the geometry of metric Research Interests: spaces and its applications, submodular optimization, and randomized algorithms. Prof. Roy Schwartz

Research Interests:Theory of algorithms and applications; Randomness andcomputation. Specific: Approximation and on-line algorithms;Combinatorial optimization; Randomized algorithms; Communicationnetworks; Parallel computation. Prof. Seffi Naor

Research Interests: Circuit design ,Computer architecture, Power distribution networks, VLSI systems, Chip Multiprocessor (CMP), Multithreading, Energy efficiency in computers, Memory, especially emerging non-volatile memory technologies (STT-MRAM, PCM, RRAM, Memristors, 3D Xpoint, CBRAM, etc.), Hardware security, Neuromorphic computing Prof. Shahar Kvatinsky

Research Interests: Artificial Intelligence; Machine Learning; Multi-agent systems; Game playing; Opponent modeling; Search; Speedup Learning. Prof. Shaul Markovitch

Research Interests: Distributed algorithms, network algorithms, communication networks, distributed systems, fault tolerance, distributed data protection. Prof. Shay Kutten

Research Interests: Machine learning: theory, algorithms and applications; reinforcement learning and Markov decision processes; learning, optimization, and decision-making under uncertainty; stochastic and dynamic games; learning in multi- agent systems; high-dimensional phenomena. Prof. Shie Mannor

Research Interests: Program verification; Formal specification methods; Aspect-oriented software development; Distributed systems; Programming methodology; Temporal logic; Partial orders; Programming languages; Software engineering. Prof. Shmuel Katz

Research Interests: Theoretical Quantum Information Processing (Computing, Cryptography, Information, Communication); Implementation (Hardware) of Quantum Information Processing; Modern Cryptology. Prof. Tal Mor

Research interests: Our research interests involve the theoretical and practical aspects of machine learning. Our research focuses on mathematically founded solutions to modern real life problems that demonstrate non-traditional statistical behavior. Recent examples are perturbation models that allow efficient learning of high dimensional statistics, deep learning of infinite networks and primal-dual optimization for high-dimensional inference problem. The practice of our work is motivated by many computer vision problems, as well as computational biology and language processing. Prof. Tamir Hazan

Research Interests: Network coding, coding theory, distributed storage, digital sequences Prof. Tuvi Etzion

Research Interests: Computer architecture, Memory subsystem, CMP Cache architectures, MultiCore vs Multithread architectures, Computer System traffic analysis Prof. Uri Weiser

My research broadly lies at the intersection of probabilistic perception, state estimation and planning, both for single and distributed multi-agent autonomous systems. I am interested in enabling a reliable, accurate and on-line operation in complex scenarios, particularly focusing on operation in uncertain, partially unknown and dynamic environments. Accordingly, my research interests include autonomous navigation and mapping, consistent distributed information fusion, belief-space planning and active sensing, distributed robust perception, inference with probabilistic graphical models, vision-aided navigation (VAN) and simultaneous localization and mapping (SLAM) Prof. Vadim Indelman

Research Interest: Atrial activity, Bioenergetics, Calcium signaling, Cardiac electrophysiology, Cell Biophysics, Heart rate variability analysis, Mathematical modeling of the biochemical and bioenergetics signaling in the heart, Mechanical interaction of the mitochondria and the cytoskeleton, Mobile health devices, Posttranslational modification signaling, Prediction and detection of atrial fibrillation, Sinoatrial node cell activity. Prof. Yael Yaniv

Research Interest: Formal verification of hardware and software systems; Model Checking; SAT/SMT solving; Abstraction techniques; Security Verification; Hardware-Software Co-Verification; Machine learning for verification. Prof. Yakir Vizel

Research Interests: Image coding for visual communications, Group theoretic approach to image representation, Intelligent sensors for visual communications, Image enhancement by superesolution techniques. Prof. Yehoshua Zeevi

Research Interests: Hierarchical storage, architectures for multimedia, information servers, Multimedia-and information-system architectures, Satellite communication networks, Judicious exploitation of redundancy for performance enhancement. Prof. Yitzhak Birk

Research Interests: Computer Architecture, Computer Systems and Parallel Processing, HW/SW Interoperability, Operating Systems, Parallel Programming Models, High-Performance Computing. Prof. Yoav Etsion

Research Interests: Distributed and multi-agent systems, The theory of knowledge in a distributed environment, Theoretical computer science, Algorithms, Formal methods, Prof. Yoram Moses

Research Interests: Software engineering, in particular: aspects related to the object-oriented paradigm, programming languages and parsing. Prof. Yossi Gil

Research Interests: Information Processing in Fault-Prone Computer Systems: In particular, Codes for Novel Storage Technologies, Storage Architectures and Systems, Algebraic and Combinatorial Coding Theory, Codes for Networks Prof. Yuval Cassuto

Researcch Interests: Computational complexity, Proof complexity, Analysis of Boolean Functions, Combinatorics Prof. Yuval Filmus

Research Interests: Cryptography, Complexity theory. Prof. Yuval Ishai