Faculty

Nir Ailon

Homepage:

http://nailon.googlepages.com/

Email:

nailoncs.technion.ac.il

Office:

607

Phone:

4842

Algorithms for analysis of large datasets, Fast dimension reduction techniques, Combinatorial optimization algorithms, Clustering, Ranking, Social Choice and Machine Learning.

[more info]

Hagit Attiya, Prof.

Homepage:

http://www.cs.technion.ac.il/~hagit/

Email:

hagitcs.technion.ac.il

Office:

742

Phone:

4365

Distributed computation and theoretical computer science; in particular:Fault-tolerance; Timing-based and asynchronous algorithms.

[more info]

Reuven Bar-Yehuda, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~reuven/

Email:

reuvencs.technion.ac.il

Office:

527

Phone:

4332

Combinatorial optimization: Graph algorithms; Scheduling algorithms, Computational geometry.

[more info]

Yoram Baram, Prof.

Homepage:

http://www.cs.technion.ac.il/~baram/

Email:

baramcs.technion.ac.il

Office:

739

Phone:

4266

Statistical learning theory, Pattern recognition; Classification; Regression, Neural networks; Associative memory; Non-linear network dynamics; Virtual reality and feedback control aids for movement disorders.

[more info]

Gill Barequet, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~barequet/

Email:

barequetcs.technion.ac.il

Office:

428

Phone:

3219

Discrete and computational geometry; geometric computing; combinatorics;computer-aided geometric design; computer graphics and visualization.

[more info]

Mirela Ben-Chen, Dr.

Homepage:

http://www.cs.technion.ac.il/~mirela/

Email:

mirelacs.technion.ac.il

Computer Graphics, Geometry processing, Discrete differential geometry, Shape analysis and understanding.

[more info]

Eli Ben-Sasson, Assoc. Prof.

Homepage:

http://www.eecs.harvard.edu/~eli/

Email:

elics.technion.ac.il

Office:

523

Phone:

4892

Computational Complexity; Proof Complexity; Analysis of SAT solvers; Sub-linear time algorithms for Proof Checking and Error Correcting Codes.

[more info]

Eli Biham, Prof.

Homepage:

http://www.cs.technion.ac.il/~biham/

Email:

deancs.technion.ac.il

Office:

537

Phone:

4261/2

Cryptology and Cryptanalysis, Symmetric Cryptography, Quantum Cryptography and QuantumComputation.

[more info]

Alfred M. Bruckstein, Prof.

Homepage:

http://www.cs.technion.ac.il/~freddy/

Email:

freddycs.technion.ac.il

Office:

718

Phone:

4361

Image and Signal Processing, Image Analysis and Synthesis; Pattern Recognition; Applied Geometry; Robotics, especially Ant Robotics; Estimation Theory; Neural Coding.

[more info]

Nader Bshouty, Prof.

Homepage:

http://www.cs.technion.ac.il/~bshouty/

Email:

bshoutycs.technion.ac.il

Office:

737

Phone:

4310

Computational Learning Theory.

[more info]

Reuven Cohen, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~rcohen/

Email:

rcohencs.technion.ac.il

Office:

614

Phone:

4305

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.

[more info]

Ran El-Yaniv, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~rani/

Email:

ranics.technion.ac.il

Office:

526

Phone:

3379

Machine learning and data mining, Online algorithms and competitive analysis, Computational finance

[more info]

Michael Elad, Prof.

Homepage:

http://www.cs.technion.ac.il/~elad/

Email:

eladcs.technion.ac.il

Office:

438

Phone:

4169

Signal and image processing, and computer vision; Mathematical methods for image representation; Numerical methods in image processing.

[more info]

Gershon Elber, Prof.

Homepage:

http://www.cs.technion.ac.il/~gershon/

Email:

gershoncs.technion.ac.il

Office:

429

Phone:

4338

Computer aided geometric design; Computer graphics.

[more info]

Yoav Etsion

Homepage:

http://www.cs.huji.ac.il/~etsman/

Email:

yoav.etsiontce.technion.ac.il

Office:

308-6 Fischbach

Phone:

1926

Technion Computer Engineering Center, Joint Appointment with Electrical Engineering Department

Computer Architecture, Computer Systems and Parallel Processing, HW/SW Interoperability, Operating Systems, Parallel Programming Models, High-Performance Computing.

[more info]

Tuvi Etzion, Prof.

Homepage:

http://www.cs.technion.ac.il/~etzion/

Email:

etzioncs.technion.ac.il

Office:

636

Phone:

4311

Coding theory; Combinatorial algorithms and designs; Digital sequencesin coding and communication.

[more info]

Eldar Fischer, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~eldar/

Email:

eldarcs.technion.ac.il

Office:

625

Phone:

3967

Efficiency of calculations: Especially property testing, statisticaldeductions, and probabilistically checkable proofs; Combinatorics:Especially graph theory, regularity theorems in combinatorialstructures, and applications to algorithms; Logic in Computer Science:Logical characterization of properties for which there exist efficientalgorithms or desirable combinatorial aspects.

[more info]

Roy Friedman, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~roy/

Email:

roycs.technion.ac.il

Office:

605

Phone:

4264

Distributed Systems; Group Communication; Middleware; Wireless Ad-Hoc Networks; High-Availability and Fault-Tolerance;Clustering; Scalable Dynamic (P2P) Systems.

[more info]

Dan Geiger, Prof.

Homepage:

http://www.cs.technion.ac.il/~dang/

Email:

dangcs.technion.ac.il

Office:

616

Phone:

4339

Bayesian statistics; Artificial Intelligence; Genetic linkage analysis.

[more info]

Yossi Gil, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~yogi/

Email:

yogics.technion.ac.il

Office:

520

Phone:

4333

Software engineering, in particular: aspects related to the object-oriented pardigm, programming languages and parsing.

[more info]

Craig (Chaim) Gotsman, Prof.

Homepage:

http://www.cs.technion.ac.il/~gotsman/

Email:

gotsmancs.technion.ac.il

Office:

430

Phone:

4336

Computer Graphics, Geometry Processing, Computational Geometry.

[more info]

Orna Grumberg, Prof.

Homepage:

http://www.cs.technion.ac.il/~orna/

Email:

ornacs.technion.ac.il

Office:

620

Phone:

4327

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

[more info]

Yuval Ishai, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~yuvali/

Email:

yuvalics.technion.ac.il

Office:

525

Phone:

4941

Cryptography, Complexity theory.

[more info]

Alon Itai, Prof.

Homepage:

http://www.cs.technion.ac.il/~itai/

Email:

itaics.technion.ac.il

Office:

723

Phone:

4337

1. Deterministic and Randomized Data Structures and Algorithms.
2. Algoirthms for secondary storage.
3. Coropora Based Natural Language Processing.

1. Computational Learning Theory.
2. Distributed Computing.

[more info]

Michael Kaminski, Prof.

Email:

kaminskics.technion.ac.il

Office:

721

Phone:

4360

Non-monotonic logic; Complexity of algebraic computations; Finite automata theory; Temporal logic.

[more info]

Yaron Kanza, Dr.

Homepage:

http://www.cs.technion.ac.il/~kanza

Email:

kanzacs.technion.ac.il

Office:

514

Phone:

4939

Database systems and Database theory: Data integration, Data exchange, Uncertainty and Incompleteness, Privacy and Access control; Managing data on the World-Wide Web: Querying XML, XML Retrieval; Geographic information systems;

[more info]

Shmuel Katz, Prof.

Homepage:

http://www.cs.technion.ac.il/~katz/

Email:

katzcs.technion.ac.il

Office:

635

Phone:

4322

Program verification; Formal specification methods; Aspect-oriented software develompment; Distributed systems; Programming methodology; Temporal logic; Partial orders; Programming languages; Software engineering.

[more info]

Ron Kimmel, Prof.

Homepage:

http://www.cs.technion.ac.il/~ron/

Email:

roncs.technion.ac.il

Office:

439

Phone:

4616

Image processing, Computer vision, Medical image analysis, Computer graphics, Differential geometry, Scientific computing.

[more info]

Eyal Kushilevitz, Prof.

Homepage:

http://www.cs.technion.ac.il/~eyalk/

Email:

eyalkcs.technion.ac.il

Office:

530

Phone:

4303

Cryptography; Machine learning; Computational complexity and Communication complexity; Randomized distributed protocols.

[more info]

Michael Lindenbaum, Prof.

Homepage:

http://www.cs.technion.ac.il/~mic/

Email:

miccs.technion.ac.il

Office:

600

Phone:

4331

Image processing and Computer Vision, especially the statistical analysis of visual tasks.

[more info]

Ami Litman, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~litman/

Email:

litmancs.technion.ac.il

Office:

627

Phone:

4357

Interconnection Networks; Parallel Computation on Fixed Connection Networks;Systolic Systems; Layout of Networks; Digital Systems, VLSI.

[more info]

Johann Makowsky, Prof.

Homepage:

http://www.cs.technion.ac.il/~janos/

Email:

janoscs.technion.ac.il

Office:

628

Phone:

4358

Logic and Complexity; Complexity over the Reals; Algebraic Combinatorics.

[more info]

Shaul Markovitch, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~shaulm/

Email:

shaulmcs.technion.ac.il

Office:

609

Phone:

4346

Artificial Intelligence; Machine Learning; Multi-agent systems; Game playing; Opponent modelling; Search; Speedup Learning.

[more info]

Tal Mor, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~talmo/

Email:

talmocs.technion.ac.il

Office:

634

Phone:

4885

Theoretical Quantum Information Processing (Computing, Cryptography, Information, Communication); Implementation (Hardware) of Quantum Information Processing; Modern Cryptology.

[more info]

Shlomo Moran, Prof.

Homepage:

http://www.cs.technion.ac.il/~moran/

Email:

morancs.technion.ac.il

Office:

639

Phone:

4363

Algorithmic aspects of bioinformatics (with emphasis on phylogenetics); combinatorics and graph theory.

[more info]

Seffi Naor, Prof.

Homepage:

http://www.cs.technion.ac.il/~naor/

Email:

naorcs.technion.ac.il

Office:

633

Phone:

4328

General: Theory of algorithms and applications; Randomness andcomputation. Specific: Approximation and on-line algorithms;Combinatorial optimization; Randomized algorithms; Communicationnetworks; Parallel computation.

[more info]

Erez Petrank, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~erez/

Email:

erezcs.technion.ac.il

Office:

528

Phone:

4942

Memory management, systems, parallel systems, cryptography, computational complexity, approximation algorithms.

[more info]

Ron Pinter, Prof.

Homepage:

http://www.cs.technion.ac.il/~pinter

Email:

pintercs.technion.ac.il

Office:

705

Phone:

4955

Bioinformatics; High performance computing; Programming languages; Compiler technology; Automated design of integrated circuits; Information organization and retrieval; Data integration.

[more info]

Danny Raz, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~danny

Email:

dannycs.technion.ac.il

Office:

512

Phone:

4938

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.

[more info]

Ehud Rivlin, Prof.

Homepage:

http://www.cs.technion.ac.il/~ehudr/

Email:

ehudrcs.technion.ac.il

Office:

744

Phone:

4304

Robot Vision; Robot Navigation; Motion Planning; Visual Servoing; Active Vision; Object Recognition; Artificial Intelligence; Image Understanding, Image Processing; Image Databases.

[more info]

Ronny Roth, Prof.

Homepage:

http://www.cs.technion.ac.il/~ronny/

Email:

ronnycs.technion.ac.il

Office:

637

Phone:

4291

Error-correcting codes; Coding for magnetic and optical recording; Application of coding theory to complexity; Information theory; Digital communication.

[more info]

Assaf Schuster, Prof.

Homepage:

http://www.cs.technion.ac.il/~assaf/

Email:

assafcs.technion.ac.il

Office:

626

Phone:

4330

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.

[more info]

Hadas Shachnai, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~hadas/

Email:

hadascs.technion.ac.il

Office:

623

Phone:

4359

Design and analysis of algorithms for combinatorial optimization problems, in particular, algorithms for packing, scheduling and resource allocation problems arising in Information and Communication services; parameterized algorithms and their usage in approximation; randomized algorithms; parallel computation.

[more info]

Tomer Shlomi, Dr.

Homepage:

http://www.cs.technion.ac.il/~tomersh/

Email:

tomershcs.technion.ac.il

Office:

632

Phone:

4356

Bioinformatics/Systems-Biology; biological-network analysis: constraint-based modeling of metabolic networks; protein-interaction network analysis.

[more info]

Oded Shmueli, Prof.

Homepage:

http://www.cs.technion.ac.il/~oshmu

Email:

oshmucs.technion.ac.il

Office:

716

Phone:

4280

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.

[more info]

Amir Shpilka, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~shpilka

Email:

shpilkacs.technion.ac.il

Office:

521

Phone:

4907

Theory of computer science - computational complexity, mainly complexity of arithmetic circuits. Relations between the theory of error correcting codes to problem in computational complexity. Algebraic problems in computer science. Derandomization

[more info]

Avraham Sidi, Prof.

Homepage:

http://www.cs.technion.ac.il/~asidi/

Email:

asidics.technion.ac.il

Office:

722

Phone:

4364

Theory and application of scalar and vector extrapolation methods; Numerical Integration; Numerical Linear Algebra; Numerical Solution of Integral Equations; Padé and other related rational approximations.

[more info]

Dan Tsafrir, Dr.

Homepage:

http://www.cs.technion.ac.il/~dan/

Email:

dancs.technion.ac.il

Office:

611

Phone:

2056

Operating systems, parallel systems, system security, storage, programming languages, performance evaluation

[more info]

Marius Ungarish, Prof.

Email:

ungacs.technion.ac.il

Office:

707

Phone:

4366

Simulations of Rotating Fluids (incompressible, compressible,two-phase, liquid metals); Two-Phase Flows; Gravity Currents;Computational Fluid Dynamics, Implementation of ParallelComputers, Numerical Methods.

[more info]

Eran Yahav, Dr.

Homepage:

http://www.cs.technion.ac.il/~yahave/

Email:

yahavecs.technion.ac.il

Office:

734

Phone:

4318

Program analysis, abstract interpretation, program verification, program synthesis, concurrent and distributed systems, programming languages, and software engineering.

[more info]

Irad Yavneh, Prof.

Homepage:

http://www.cs.technion.ac.il/~irad/

Email:

iradcs.technion.ac.il

Office:

618

Phone:

4945

Multigrid computational methods; scientific computing; computational physics; geophysical fluid dynamics; image processing and analysis; numerical analysis.

[more info]

Shmuel Zaks, Prof.

Homepage:

http://www.cs.technion.ac.il/~zaks/

Email:

zakscs.technion.ac.il

Office:

724

Phone:

4329

Theory of Distributed Computing; ATM and Optical Networks; Combinatorial and Graph Algorithms; Combinatorics and Graph Theory; Discrete Mathematics.

[more info]

Avi Mendelson, Prof.

Homepage:

http://www.cs.technion.ac.il/~mendlson/

Email:

avimmicrosoft.com

Office:

643

Phone:

4950

[more info]

Nissim Francez, Prof.

Homepage:

http://www.cs.technion.ac.il/~francez/

Email:

francezcs.technion.ac.il

Office:

735

Phone:

4369

Primary: Formal semantics of natural language; Type-logical grammar; Computational linguistics;λ-calculus and proof theory.
Secondary: Semantics of programming languages; Program verification; Concurrent and distributed programming; Logic programming.

[more info]

Michael Heymann, Prof.

Homepage:

http://www.cs.technion.ac.il/~heymann/

Email:

heymanncs.technion.ac.il

Office:

711

Phone:

4163

Specification and Control of Discrete-Event and Hybrid Systems;Systems and Control Theory; Robotics; Optimization Theory.

[more info]

Eliezer Kantorowitz, Assoc. Prof.

Homepage:

http://www.cs.technion.ac.il/~kantor

Email:

kantorcs.technion.ac.il

Office:

624

Phone:

4321

Software engineering; user interfaces; component oriented programming; internet programming; components with semantic interfaces; statistical estimation of the number of software faults

[more info]

Zvi Kohavi, Prof.

Email:

kohavics.technion.ac.il

Office:

709

Phone:

4162

Failure-Tolerant design, testing and fault diagnosis of digitalsystems; Switching and finite-automata theory; Reliabilty.

[more info]

Abraham Lempel, Prof.

Email:

lempelcs.technion.ac.il

Office:

714

Phone:

4164

Application of discrete mathematics to problems in computer science and information theory; Imaging and compression technology.

[more info]

Azaria Paz, Prof.

Email:

pazcs.technion.ac.il

Office:

732

Phone:

4165

Theory of automata, deterministic and probabilistic; Theory of algorithms and integer algorithms; Theory of Bayes networks and Theory of Graphoids.

[more info]

Michael Yoeli, Prof.

Homepage:

http://www.cs.technion.ac.il/~myoeli/

Email:

myoelics.technion.ac.il

Office:

719

Phone:

4301

Theory and Application of Petri Nets; Formal Verification of HardwareDesigns.

[more info]

Shimon Even (deceased), Prof.

Homepage:

http://www.cs.technion.ac.il/~even/

Email:

evencs.technion.ac.il

[more info]

Moshe Israeli (deceased), Prof.

Homepage:

http://www.cs.technion.ac.il/~israeli/

Email:

israelics.technion.ac.il

Multiresolution analysis; Signal and image processing; Acoustic and electro-magnetic scattering; Numerical solution of differential and integral equations; Parallel and distributed super-computing; Hybrid analytical/numerical approximations; Computational and geophysical fluid dynamics; Semi-conductor device simulation.

[more info]

Uzzi Ornan, Prof.

Homepage:

http://www.cs.technion.ac.il/~ornan/

Email:

ornancs.technion.ac.il

Office:

622

Phone:

4267

Natural Language Processing, Machine Translation, Information Retrieval, Processing of Hebrew in all levels (phonology, morphology, syntax, semantics), Speech Recognition.

[more info]

Gadi Aleksandrowicz, Dr.

Email:

gadialcs.technion.ac.il

Office:

418

Phone:

4928

[more info]

Tamar Avraham, Dr.

Homepage:

http://www.cs.technion.ac.il/~tammya/

Email:

tammyacs.technion.ac.il

Office:

740

Phone:

4877

[more info]

Olga Brookman, Dr.

Email:

brukmancs.technion.ac.il

Office:

713

Phone:

4956

[more info]

Renjie Chen, Dr.

Email:

renjiecs.technion.ac.il

Office:

425

Phone:

4933

[more info]

Michal Harel, Dr.

Email:

harelmcs.technion.ac.il

Office:

645

Phone:

2979

[more info]

Ido Leichter, Dr.

Homepage:

http://www.cs.technion.ac.il/~idol/

Email:

idolcs.technion.ac.il

Office:

733

Phone:

4958

[more info]

Michael Viderman

Homepage:

http://www.cs.technion.ac.il/~viderman/

Email:

vidermancs.technion.ac.il

Office:

216

Phone:

3826

Coding Theory, Locally Testable Codes, Combinatorial Property Testing.

[more info]

Yaniv Altshuler, Dr.

Homepage:

http://www.cs.technion.ac.il/~yanival/

Email:

yanivalcs.technion.ac.il

[more info]

Sara Bittan, Dr.

Email:

sarabcs.technion.ac.il

Office:

322

Phone:

5853

[more info]

Isaac Bussel, Dr.

Email:

busselcs.technion.ac.il

Office:

322

Phone:

5853

[more info]

Rami Cohen

Homepage:

http://www.cs.technion.ac.il/~ramic/

Email:

ramiccs.technion.ac.il

Office:

619

Phone:

4873

[more info]

Tal Cohen

Homepage:

http://www.cs.technion.ac.il/~ctal/

Email:

ctalcs.technion.ac.il

Office:

318

Phone:

5619

[more info]

Roee Engelberg, Dr.

Homepage:

http://www.cs.technion.ac.il/~roee/

Email:

roeecs.technion.ac.il

Office:

318

Phone:

5619

[more info]

Daniel Galin, Dr.

Email:

dgalincs.technion.ac.il

Office:

318

Phone:

5619

[more info]

Shirley Halevy-Ginzburg, Dr.

Email:

shirleyhcs.technion.ac.il

Office:

318

Phone:

5619

[more info]

Zachi Karni, Dr.

Homepage:

http://www.cs.technion.ac.il/~zachik/

Email:

zachikcs.technion.ac.il

Office:

425

Phone:

4933

[more info]

Ronny Lempel, Dr.

Email:

rlempelcs.technion.ac.il

Office:

318

Phone:

5619

[more info]

Tamir Levi

Email:

levytcs.technion.ac.il

Office:

405

Phone:

3854

[more info]

Yael Mandel-Gutfreund, Assoc. Prof.

Homepage:

http://yaelab.technion.ac.il/

Email:

yaelmgtx.technion.ac.il

[more info]

Gabi Nakibly, Dr.

Email:

gnakiblycs.technion.ac.il

Office:

619

Phone:

4873

Network Security, Traffic Engineering, QoS Routing

[more info]

Lihu Rappoport, Dr.

Email:

lihu.rappoportintel.com

Office:

318

Phone:

5619

[more info]

Leonid Raskin

Email:

raskinlcs.technion.ac.il

Office:

318

Phone:

5619

[more info]

Ron Rubinstein

Homepage:

http://www.cs.technion.ac.il/~ronrubin/

Email:

ronrubincs.technion.ac.il

Office:

436

Phone:

4944

[more info]

Tamer Salman

Homepage:

http://www.cs.technion.ac.il/~tamer/

Email:

tamercs.technion.ac.il

Office:

322

Phone:

5853

[more info]

Iddit Shalem

Email:

shalemics.technion.ac.il

Office:

218

Phone:

3373

[more info]

Sarai Sheinvald

Office:

218

Phone:

3373

[more info]

Amir Tomer, Dr.

Email:

tomeracs.technion.ac.il

Office:

318

Phone:

5619

[more info]

Adi Yoaz

Email:

yoazcs.technion.ac.il

Office:

318

Phone:

5619

[more info]