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 ). 

 

Researchers: 

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

 

 

Computer and Network Security

 

Researcher: 

Prof. Ran CanettiDr. Eyal Ronen and Dr. Adam Morrison.

 

 

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. 

 

Researchers: 

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

 

 

Distributed and Parallel Computing

 

Researcher: 

Dr. Rotem Oshman and Dr. Adam Morrison.

 

 

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. 

 

Researchers: 

Prof. Yehuda AfekProf. Yishay MansourDr. Rotem OshmanDr. Adam Morrison 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. 

 

Researchers: 

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.

 

Researchers: 

Prof. Yehuda AfekProf. Nir ShavitProf. Amiram YehudaiDr. Shahar MaozDr. Noam RinetzkyDr. Adam Morrison and Dr. Ori Lahav

 

 

Programming Environments

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

 

Researchers: 

Prof. Shmuel SagivProf. Nachum DershowitzProf. Amiram YehudaiDr. Shahar MaozDr. Noam RinetzkyDr. Ori Lahav and Dr. Sharon Shoham Buchbinder.

 

 

Compilers

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. 

 

Researcher:

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.

 

Researcher: 

Prof. Sivan Toledo.

 

 

Specification and Prototyping of Reactive Systems

 

Researcher:

Prof. Amiram Yehudai and Dr. Shahar Maoz.

 

 

Object Oriented Programming, Design Patterns

 

Researcher: 

Prof. Amiram Yehudai

 

 

Modeling and Formal Methods in Software Engineering

 

Researcher:

Dr. Shahar Maoz.

 

 

Computer architecture

 

Researcher: 

Dr. Adam Morrison

 

 

Operating systems

 

Researcher: 

Dr. Adam Morrison

 

Tel Aviv University makes every effort to respect copyright. If you own copyright to the content contained
here and / or the use of such content is in your opinion infringing, Contact us as soon as possible >>