Research Fields

Preface First

This is a debugging block

Preface Second

This is a debugging block

Preface Third

This is a debugging block


This is a debugging block

Research Fields
  • Foundations of Computer Science


    Sequential and parallel algorithms. Data structures. Randomized algorithms. Derandomiztion. 

    Approximation algorithms and approximation schemes. Combinatorial optimization. 

    Competitive analysis of on-line algorithms Cryptology. 



    Prof. Noga AlonProf. Yossi AzarDr. Shiri ChechikProf. Amos Fiat, Prof. Eran HalperinProf.Yossi MatiasProf. Haim KaplanProf. Ronitt Rubinfeld, Prof. Shmuel SafraProf. Ron ShamirProf. Roded SharanProf. Michael TarsiProf. Amnon Ta-Shma and Prof. Uri Zwick




    Graph theory and other branches of combinatorics and their applications in Computer Science. Algorithmic graph theory. Algebraic and probabilistic methods in combinatorics. Enumeration of combinatorial structures. 



    Prof. Noga AlonProf. Yossi AzarProf. Nachum DershowitzProf. Amos FiatProf. Haim KaplanProf. Ron Shamir, Prof. Roded SharanProf. Michael Tarsi and Prof. Amnon Ta-Shma






    Prof. Ran Canetti, Dr. Iftach Haitner and Prof. Eran Tromer.



    Foundations of Computability

    The Church-Turing Thesis. Abstract state machines. Equivalence of algorithms.



    Prof. Arnon Avron and Prof. Nachum Dershowitz.



    Logic and Formal Methods

    Semantics of programming languages. Verification of programs. Theory of concurrency: Methodology of concurrent and reactive systems, in particular of networks of processes and data flow systems. Logical foundations of automated reasoning and computational aspects of logical systems. Applications of Logic to relational database theory. The use of non-classical logics in CS and AI. Formalisms for specification of and reasoning about hybrid systems. Rewriting and equational reasoning. Orderings for termination proofs.Fuzzy Logic.



    Prof. Arnon AvronProf. Nachum DershowitzDr. Shahar MaozProf. Alex Rabinovich and Prof. Amiram Yehudai.



    Theory of Computing

    Automata theory. Computational complexity. Complexity classes. Probabilistically checkable proofs. Hardness of approximation. Lower bounds. Circuit Complexity. 

    Go to web site here



    Prof. Noga AlonProf. Yossi AzarProf. Benny ChorProf. Yishay MansourDr. Rotem OshmanProf. Ronitt RubinfeldProf. Shmuel Safra, Prof. Amir ShpilkaProf. Ron ShamirProf. Amnon Ta-Shma and Prof. Uri Zwick.



    Quantum Computation

    Quantum computation is a young and very active field studying computers based on the principles of quantum physics. Such computers can perform tasks that are believed to be impossible using standard computers, such as breaking many popular cryptographic codes.



    Prof. Amnon Ta-Shma.


  • Computer Systems

    Communication Networks


    Communication Protocols

    Design and analysis of protocols and algorithms for efficient use of computer networks, including the Internet, wireless communications, and Asynchronous Transfer Mode (ATM) networks. Study and development of communication protocols, such as flow control, end-to-end communication, routing, etc. Developing applications for fast communication networks, Programming interfaces( for Quality of Service ). 



    Prof. Yehuda AfekProf. Hanoch Levy and Prof. Yishay Mansour.



    Computer and Network Security



    Prof. Ran Canetti.



    Performance Models

    Performance Models for Computer Operation and Computer Communication. Queuing Models for communication of multiple sources competing for shared links; Algorithms for efficient operation and their performance. 



    Prof. Hanoch Levy and Prof. Uri Yechiali (Statistics Department, School of Math).



    Distributed and Parallel Computing



    Dr. Rotem Oshman.



    Asynchronous Computation

    Theoretical and experimental study of concurrent algorithms for inter process communication and synchronization, their efficiency and resilience; Development of practical fault-tolerant synchronization primitives with application in operating system development, multiprocessor architecture construction, and programming language design. Scalable concurrent data structures: Applications of Algebraic Topology to the modeling of computability and complexity in concurrent environments. 



    Prof. Yehuda AfekProf. Yishay Mansour, Dr. Rotem Oshman and Prof. Nir Shavit.



    Parallel Computation

    Developing models and software tools and algorithms for efficient implementation of data intensive and numeric intensive computational problems on massively parallel multiprocessors. Solving Partial Differential Equations on parallel machines using spectral methods. Instruction-level and multi-processor parallelism. Studying the interplay between parallel computer systems and parallel algorithms. 



    Prof. Amir AverbuchProf. Yossi MatiasProf. Sivan Toledo and Prof. Amiram Yehudai



    Programming Languages and Software Engineering

    Design and analysis of parallel and distributed programming languages.



    Prof. Yehuda AfekProf. Nir ShavitProf. Amiram YehudaiDr. Shahar Maoz and Dr. Noam Rinetzky



    Programming Environments

    Developing and implementing algorithms to ease program development, including debuggers, static program checkers, program understanding tools, porting tools, and program slicing. 



    Prof. Shmuel SagivProf. Nachum DershowitzProf. Amiram YehudaiDr. Shahar Maoz and Dr. Noam Rinetzky.




    Theoretical and experimental studies of compiler techniques. Compiling high level programming languages. Compiler optimizations for scalar and super scalar machines. Efficient treatment of memory hierarchy. 



    Prof. Shmuel Sagiv and Dr. Noam Rinetzky .



    Flash Memory

    Design, implementation, and evaluation of storage systems based on flash memories. Design of algorithms and data structures that exploit flash effectively.



    Prof. Sivan Toledo.



    Specification and Prototyping of Reactive Systems



    Prof. Amiram Yehudai and Dr. Shahar Maoz.



    Object Oriented Programming, Design Patterns



    Prof. Amiram Yehudai



    Modeling and Formal Methods in Software Engineering



    Dr. Shahar Maoz.


  • Computer Applications

    Computational Biology (Bioinformatics)

    Computational methods for advancement of modern biology and medicine: Understanding biological systems using combinatorial and statistical models. Analysis of biological systems and networks. Models for understanding disease, human mutation and evolution. Development of algorithms for analysis of very high volume biomedical data, including gene expression, sequence variation, protein interactions and metabolic networks. Development and implementation of efficient algorithms and research in Structural Biology, such as structural comparison of proteins, biomolecular recognition, computer-aided drug design and protein folding. Formulation of these problems in a solid computational framework which allows application of graph-theoretical, string matching, and geometric matching algorithms.



    Prof. Benny ChorProf. Dan Halperin, Prof. Eran HalperinProf. Eytan RuppinProf. Ron ShamirProf. Roded Sharan, Prof. Micha Sharir and Prof. Haim Wolfson



    Historical Document Analysis

    Digital humanities; large-scale manuscript analysis; manuscript reconstruction; computational paleography.



    Prof. Lior WolfProf. Nachum Dershowitz and Prof. Haim Wolfson



    Natural Language Processing

    Machine translation. Semantic analysis.



    Prof. Nachum Dershowitz.



    Computational Geometry and Robotics



    Computational and Combinatorial Geometry and Application

    Design and analysis of efficient algorithms for basic geometric problems and their applications to robotics, computer graphics, computer vision, image processing, pattern recognition, geographical data processing, solid modeling and computer-aided design, VLSI design, statistics, and operations research. Combinatorial analysis of geometric structures.



    Prof. Noga AlonProf. Dan Halperin and Prof. Micha Sharir




    Algorithmic motion planning; Assembly planning and automated manufacturing; Design and implementation of integrated robotics systems; Robot kinematics, kinematics structures with many degrees of freedom.



    Prof. Dan Halperin and Prof. Micha Sharir.



    Computational Neuroscience and Machine Learning

    Biologically motivated learning and visual preprocessing related to brain functions, high order elements and their application; Neural computation; Medical and biological applications of neural computation; Various aspects of computational learning theory, including statistical learning and statistical parameter estimation, learning complexity analysis, machine learning. 



    Prof. Victor Brailovsky, Prof. Eran HalperinProf. Nathan IntratorProf. Yishay Mansour, and Prof. Hezy Yeshurun



    Visual Computing, Geometric modeling and Computer Graphics

    Algorithms for image and texture synthesis, digital surface geometry, digital photography, image and video processing, geometric and graphics modeling.



    Prof. Daniel Cohen-Or and Prof. Lior Wolf.



    Computer Vision and Pattern Recognition

    Human face recognition. Analysis of acoustical signals. Texture discrimination. Motion detection Analysis and segmentation of noisy range images. Cluster analysis. Model selection. Object recognition for robotics and CAD/CAM applications. Recognition of partially occluded objects. Articulated objects, 3D scene recognition. 



    Prof. Victor Brailovsky, Prof. Nathan IntratorProf. Haim WolfsonProf. Hezy Yeshurun and Prof. Lior Wolf.




    Advanced database applications, including data integration, object-oriented and semi-structured information, Web-based applications, and the interaction between textual information and databases. Study of data models, query processing and optimization (and algorithms thereof).



    Prof. Arnon AvronProf. Yossi Matias, and Prof. Tova Milo



    Image and Signal Processing

    Use of wavelets for signal and image processing and other numerical applications; Compression of still and animated images; Adaptive denoising for speech and textured images; Feature detection and discrimination from wavelet dictionaries. Machine learning tools for signal morphology analysis, with applications to EEG, MEG, fMRI, and heart sounds. 



    Prof. Amir AverbuchProf. Nathan Intrator and researchers from the Department of Applied Mathematics, School of Math. 



    Calendrical Calculations

    Algorithms for dealing with different systems of calendar date and time of day. 



    Prof. Nachum Dershowitz.



    Applications: Data Mining & Search



    Prof. Amos Fiat.


Postscript First

This is a debugging block

Postscript Second

This is a debugging block

Postscript Third

This is a debugging block

Postscript Fourth

This is a debugging block