Research Fields

Research Fields
  • Foundations of Computer Science
  • Computer Systems
  • Computer Applications

Algorithms

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

Approximation algorithms and approximation schemes. Combinatorial optimization. 

Competitive analysis of on-line algorithms Cryptology. 

 

Researchers: 

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-ShmaProf. Uri ZwickDr. Gil Cohen and Prof. Elhanan Borenstein.

 

 

Combinatorics

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. 

 

Researchers: 

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

 

 

Cryptography

 

Researchers: 

Prof. Ran Canetti, Dr. Iftach HaitnerProf. Eran Tromer and Dr. Nir Bitansky.

 

 

Foundations of Computability

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

 

Researchers: 

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.

 

Researchers: 

Prof. Arnon AvronProf. Nachum DershowitzDr. Shahar MaozProf. Alex RabinovichProf. Amiram YehudaiDr. Ori Lahav and Dr. Sharon Shoham Buchbinder 

 

 

Theory of Computing

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

Go to web site here

 

Researchers: 

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

 

 

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.

 

Researchers: 

Prof. Amnon Ta-Shma.

 

Tel Aviv University, P.O. Box 39040, Tel Aviv 6997801, Israel
UI/UX Basch_Interactive