Faculty
Faculty
Research
Seminars and Events
Courses
Postdocs and Student Information
Visitor Information
Links
Profile
Home Page
 

MSc. Alumni
by Name
MSc. Alumni
by Year
PhD. Alumni
by Name
PhD. Alumni
by Year

Name Year of Graduation Advisor Thesis Currently at
Jonathan Aaronson
1972
Faculty of Exact Sciences, Mathematics, Tel Aviv University. 
aaropost.tau.ac.il
Ezra Aboodi
1970
Jacob Aboudi
1964
Dept. of Solid Mechanics, Materials Structures, Tel Aviv University, Ramat Aviv 
aboudieng.tau.ac.il
Yigal Accad
1969
C.L. Pekeris  EFI Company, Palo Alto 
my.accadgmail.com
Amit Adam
1997
Z. Artstein  A model of the trade-off between the cost of information and its utility 
amitadamyahoo.com
Yael Adini
1991
D. Sagi 
David Adjiashvili
2008
D. Peleg  Equal-area locus-based convex polygon decomposition 
d.adjiashviligmail.com
Yishai Admanit
2007
E. Shapiro, E. Segal  Advanced algorithms for inferring cell lineage trees 
yishai.admanitgmail.com
Ofer Ahituv
1975
Jacob Almagor
1987
Yiffa Alon
1965
Daniel Alpay
1980
Dept. of Mathematics, Ben Gurion University, Beer Sheva 
danycs.bgu.ac.il
Itzhak Amidror
1979

itzhak.amidrorepfl.ch
Ari Amikam
1975
   
anatamikamnblaw.com
Gideon Amir
1974
   
gidi.amirgmail.com
Batia Amit
1982
Idan Amit
2003
U. Feige  A finer classification of NP-complete probems 
idanamitinter.net.il
Alexander Apartsin
2004
R. Basri  Multiscale segmentation of independent object motion using irregular pyramids 
apartsingmail.com
Yuriy Arbitman
2010
M. Naor  Efficient dictionary data structures based on cuckoo hashing 
a.yuirygmail.com
Joel Arditi
1975
Z. Riesel  IBM South West Europe 
joelarditigmail.com
Mica Arie-Nachimson
2007
R. Basri  Multiview object detection using a probabilistic 3D class model 
mica.arie-nachimsonweizmann.ac.il
Noaz Arkind
2010
B. Nadler  Parametric joint detection-estimation of the number of sources in array processing 
noam.arkindweizmann.ac.il
Roy Armoni
1992
D. Harel  Intel, Haifa 
roy.armonigamil.com
Yoram Arnon
1990

yarnonyahoo.com
Tamarah Arons
1997
A. Pnueli  A decision procedure for an unrestricted linear temporal logic  Intel, Haifa 
tamarah.aronsintel.com
Shai Assaf
1990

shay_assafyahoo.com
Yoram Atir
2005
D. Harel  Object refinement and composition in scenario-based programming 
yoram.atirgmail.com
Yedidia Atzmony
2000
D. Peleg  Emc Corporation, USA 
ddkaminario.com
Evyatar Av-Ron
1985
L. Segel  Dept. of Neurobiology & Anatomy, Univ. of Texas 
e.avronfree.fr
Zvi Averbach
1980
Lidor Avigad
2010
O. Goldreich  On the lowest level of query complexity in testing graph properties 
avigadlgmail.com
Haim Avni
1972
EMC Corporation, Hopkington 
haimavnigmail.com
Gideon Avrahami
1987
Ruth Azor
1980

ruth.meir.azorgmail.com
Shai Bagon
2008
M. Irani  What is a good image segment?  PhD student, Weizmann Inst., Rehovot 
shai.bagonweizmann.ac.il
Mira Balaban
1975
P. Rabinowitz  Dept. of Computer Sci., Ben Gurion University, Beer Sheva 
miracs.bgu.ac.il
Miriam Bank
1995
Y.Kannai  Discrete approximation of continuous distributed feedback systems 
miriambmath.huji.ac.il
Moshe Bar
1994
S. Ullman  Spatial context in recognition 
barnmr.mgh.harvard.edu
Yaacov Bar-Ness
1975
Uri Bar-On
1986
Alexander Barabash
1993
A. Fraenkel  Two questions concerning beatty functions. 
alexander.barabashgmail.com
Marita Barabash (Rozenson)
1980
Z. Artstein  Achva Academic College, Beer Tuvia 
maritab013.net
Dan Barak
2005
D. Harel  Horizontal scale-up and transition to design in scenario-based programming  CEO & Co-Founder of Bloggers Base 
dan.barakgmail.com
Uri Barenholz
2006
D. Peleg, U. Feige  Achieving a better approximation for min-sum vertex cover 
uri.barenholzgmail.com
Kfir Barhum
2007
O. Goldreich  Approximating averages of geometrical and combinatorial quantities 
kfir.barhuminf.ethz.ch
Gilad Barkan
2007
R. Basri  Segmentation-based long range motion estimation  Rad Vision 
gilad.barkangmail.com
Mordechai Barkan (Berkovitsh)
1984
Avi Barliya
2006
T.Flash  Gait kinematics intersegmental coordination law: An analytic approach  PhD student, Weizmann Ins. Rehovot 
avi.barliyaweizmann.ac.il
Evgeniy Bart
2004
S. Ullman  Object recognition using shared extended fragments  Palo Alto Research Center, Palo Alto, CA 
bartima.umn.edu
Leehod Baruch
2008
E. Shapiro, Eran Segal  Empirical evidence and implications of the chemoaffinity hypothesis 
leehodgmail.com
Shmuel Baruch
1992
Business administration, Technion, Haifa 
shmuel.baruchbusiness.utah.edu
Tamar Barzuza
2004
R.Shamir, J. Beckmann  Computational resolution and tagging of perfect phylogeny haplotypes 
TamarBradvision.com
Dmitry Batenkov
2010
Y. Tomdin  Algebraic reconstruction of geometric models from integral measurements 
dima.batenkovweizmann.ac.il
Mathilda Batish
1973
A. Pnueli 
fmatiil.ibm.com
Shai Beilis
1978
P. Rabinowitz 
shaiformulaventures.com
Jacob Bein
1964
Myra Belinkov (Kitron)
1982
Locomotion of spermatozoa  School of Engineering, Kinneret College on the Sea of Galileea and Aerospace Engineering. Technion - Israel Institute of technology 
myratx.technion.ac.il
David Belogus
1975
   
davidbelle44gmail.com
Mercedes Ben-Av (Barchilon)
1987
L. Segel  Adaptation, Oscillations and Relay in a model for cAMP secretion  Achva Academic College 
mercedesmacam.ac.il
Uri Ben-Dor
2005
E. Shapiro  Compiling medical knowledge into molecular automata  HP Software R&D 
uri.bendorgmail.com
Ester Ben-Ezra
1983
Oren Ben-Kiki
1995
Ehud Shapiro  Structured directed concurrent logic programming 
orenben-kiki.org
Ariel Ben-Porath
1998

ariel.benporathgmail.com
David Ben-Zvi (Kramer)
1974
A. Pnueli  A FORTRAN Cross-Compiler for Mini-Computers 
dk54comcast.net
Meny Benady
1990
Sergey Benditkis
2011
D.Novikov   On the number of zeroes of iterated integrals 
sergey.benditkisweizmann.ac.il
Yaakov Benenson
2005

kobi.benensongmail.com
Abraham Bercovitz
1982
Shmuel Berenholc
1971
 
uri.barenholzweizmann.ac.il
Tal Berger
2010
D. Harel  Superstep reuse during smart play-out of reactive systems 
tberger6gmail.com
Kalman Berkowitz
2011
S. Ullman  Combining Top-Down and Bottom-Up methods in the segmentation of a clothed torso in images 
be.kalmangmail.com
Dan Bernstein
2003
A. Regev  The complexity of two different rules for computing characters of Sn  Apple Inc., Cupertino 
danbernstein.name
Gal Binyamini
2007
A. Joseph  Semi-invariants for biparabolic (Seaweed) algebras 
galbingmail.com
Aharon Birnbaum
2011
B. Nadler  Eigenvector estimates in sparse PCA- a correlation approach 
aharonbirmgmail.com
Moshe Blank
2006
M. Irani  Actions as space-time shapes 
moshe.blankgmail.com
Mikhail Blinov
1998
Charlene Bloch
1985
Barak Blumenfeld
2004
M. Tsodyks, S. Ullman  Functional maps and intracortical connectivity in the primary visual cortex 
barak.blumenfeldweizmann.ac.il
Eran Borenstein
2000
S. Ullman  Div. of Appl. Mathematics, Brown University, Providence 
eran.borensteingmail.com
Michael Brand
2006
Y. Kannai  The utilitarian solution revisited 
wisbrand.site.co.il
Daniel Braunschvig
1974
   
danny_bmalam.com
Chen Brestel
1998
S. Ullman  Multi-views modeling & synthesis  El Op, Rehovot 
chenbelop.co.il
Ido Bright
2007
T. Flash  Motion planning through optimization 
idobrightgmail.com
Victor Bronstein
1996
A. Fraenkel  Counting Sequences 
Dane Brooke
1982

danbrookgmail.com
Ori Brostovski
2010
M. Irani  Detecting the Common 
Jacob Burbea
1968
   
michaelmath.rice.edu
Nurith Burns
1972
 
n.hadarigmail.com
Dalia Campeanue
1984
Yaron Caspi
1994
M. Irani  Human-like line-drawing interpretation  VP-R&D BriefCam Ltd  
caspibriefcam.com
Ran Chachick
2011
A. Tanay  Evolution of molecular evolution: divergence of context dependentá substitution rates with applications to comparative genomics 
chooch256gmail.com
Ding-En Chang
1971
Noa Chapal Ilani
2011
E. Shapiro  Quantifying the ability to reconstruct a cell-lineage tree using microsatellite mutations and characterizing their mutation rates by tracking cell divisions 
noa.chapalgmail.com
Shiri Chechik
2009
D. Peleg  Fault-tolerant structures in graphs 
shiri.chechikweizmann.ac.il
Joni Cheifetz
1988

yonilightspeedvp.com
Teng Chen
1980
Hui-Chou Cheng
1971
Yonah Cherniavsky
2002
A.Regev  Asymptotics of combinatorial sums 
Eden Chlamtac
2003
U. Feige  Cover times of random walks and Markov chains   
eden.at.princetongmail.com
Max Chvalevsky
2003
R. Basri  Bi-clustering of objects and backgrounds for content-based image retrieval 
maxchvwalla.com
Michael Codish
1986
E. Shapiro  Dept. of Computer Science, Ben Gurion University, Beer Sheva 
mcodishcs.bgu.ac.il
Amit Cohen
1992
Irit Cohen
1984
Meir Cohen
2000
M. Irani  Dense recovery of planar-parallax from multiple frames 
meirc013.net
Miriam Cohen
1975
Moshe Cohen
1988
Shimon Cohen
1979
Shimon Cohen
1988

shimon-corbotech.com
Yossi Cohen
1997
R. Basri  Applied Materials 
yoscohgmail.com
Daniel Cohen
2005
Y. Yomdin  Some quantitative results in singularity theory 
dani.85gmail.com
Nir Cohen Sala
1980
I. Gohberg  Dept. of Applied Mathematics, University of Campinas, Campinas 
nirccet.ufrn.br
Lutzy Cojocaru
1989
Y. Kannai 
lutzy18gmail.com
Harry Commerchero
1974
Sorin Costiner
1990
S. Ta'asan  United Technologies Co., East Hartford 
sorinandrew.cmu.edu
Richard Courtheoux
1975
Michael Cutler
1973
Z. Riesel  Dept. of Computer Science, State University of New York, Binghamton 
cutlerbinghamton.edu
Ron Davidson
1989
Danny Debbi
1973
Rina Dechter
1976
Y. Gilis  Bren School of Information and Computer Sciences, University of California, Irvine  
dechterics.uci.edu
Ilan Degani
2000
A. Brandt  A Study of fast summation error and application in 1D molecular mechanics 
ilan.deganigmail.com
Lynn Degani
1975
Ronen Deitch
2006
R. Basri, M.Galun  Image denoising via non-convex minimization with multigrid  Ioimage Ltd 
ronendoyahoo.com
Nahum Dershowitz
1975
School of Computer Science, Tel Aviv University, Ramat Aviv 
nachumdtau.ac.il
Noam Diamant
1979
Nathan Diner
1970
 
Nathan.dinargmail.com
Michael Dinerstein
2006
S. Ullman  Classification and reconstruction using binocular features 
michael.dinersteinweizmann.ac.il
Itai Dinur
2010
A. Shamir  Cube attacks and cube testers: New methods of cryptanalysis 
itai_dinuryahoo.com
Boris Diskin
1993
A. Brandt  National Institute of Aerospace, Hampton 
bdiskincox.net
Alexander Disler
1995
H. Dym  Boundary interpolation and the lossless inverse scattering problem 
Nechama Dobkin
1980
Roman Dovgard
2002
G. Schechtman  Simulations of Mahler's and volume monotonicity conjectures 
roman.dovgardweizmann.ac.il
Chandan Dubey
2009
U. Feige  On bandwidth approximation on graphs 
chandan.dubeyweizmann.ac.il
Nitsan Duvdevani
1987
Sharon Duvdevani-Bar
1991
L. Segel  Orbotech, Yavneh 
sharon.dbargmail.com
Zeev Dvir
2006
R. Raz  Derandomization Techniques in Computer Science 
zeev.dvirgmail.com
Nira Dyn (Richter)
1967
P. Rabinowitz  Dept. of Appl. Mathematics, Tel Aviv University, Ramat Aviv 
niradynmath.tau.ac.il
Ady Ecker
2003
S. Ullman  Images similarity based on the distributions of similar substructures  PhD student at University of Toronto 
adyeckercs.toronto.edu
Shimon Edelman
1985
S. Ullman  Dept. of Psychology, Cornell University, Ithaca 
se37cornell.edu
Klim Efremenko
2009
O. Reingold  How well do random walks parallelize? 
klimefremgmail.com
Asaf Efrima
2006
D. Peleg  Algorithms for partitioning swarms of autonomous mobile robots  Sagarmatha Ltd 
efrimazahav.net.il
Gideon Ehrlich
1971
Dept. of Mathematics & Computer Sci.,Bar Ilan University, Ramat Gan (Emeritus) 
ehrlichgidgmail.com
Dror Eiger
2008
S. Goldwasser  Proactive secret sharing with partial erasures  Google, Tel Aviv 
Dror.Eigergmail.com
Amir Ein Dor
2000
D. Roth  A Study of fast summation error and application in 1D molecular mechanics 
Ariel Elbaz
2004
R. Raz  Improved constructions for extracting quasi-random bits from sources of weak randomness 
arielbazgmail.com
Yuval Emek
2004
D.Peleg  Low stretch spanning trees  School of Electrical Engineering, Tel Aviv University 
yuval.emekgmail.com
Judith Epstein
1976
Yair Eran
1981
A. Pnueli  Applied Materials, Rehovot 
yair.eyegmail.com
Uri Eshkar
1980

uri.eshkargmail.com
Edna Etkin (Schiffmann)
1976
Boris Ettinger
2008
E. Titi  Global existence and uniqueness of weak solutions of the three dimensional Euler equations with helical symmetry 
ettinger.borisgmail.com
Yael Etzion
1991
Erez Eyal
2006
A. Brandt, H. Degani  3D automatic segmentation of the rat uterus in MRI: A tool for dynamic imaging 
erez.eyalweizmann.ac.il
Lev Faivishevsky
2003
S. Ullman  Efficient object detection and recognition in a directable visual system 
levtempgmail.com
Shoshana Farkas (Rosengarten)
1970
S. Karlin 
shoshorot.macam98.ac.il
Uriel Feige
1987
A. Shamir  Dept. of Appl. Mathematics & Computer Sci., Weizmann Institute, Rehovot 
uriel.feigeweizmann.ac.il
Shlomo Feldman
1975
 
shlomo.feldmanqualisoft.co.il
Yishai Feldman
1982
D. Harel  IBM, Haifa 
yishaiil.ibm.com
Yosee Feldman
1988
(Deceased) 
Shlomith Feliks
1974
Bernardo Fenig
1979
Amiel Ferman
2001
D. Harel  Two results on One-letter extensions of PDL 
amielfermanwalla.com
Amos Fiat
1982
A. Shamir  School of Computer Science,Tel Aviv University, Ramat Aviv 
fiattau.ac.il
Yair Field
2007
E. Segal  In-silico study of chromatin structure 
yair.fieldweizmann.ac.il
Yuval Filmus
2003
U. Feige  Bandwidth approximation of a restricted family of trees 
yuval_filmusyahoo.com
Leonora Fink (Paradiz)
1984
Benyamin Finkelstein
1984
Dana Fisman
2001
A. Pnueli  Beyond regular model checking  School of Computer Sci. & Engineering, Hebrew University, Jerusalem  
dana.fismangmail.com.
Marina Fizgeer
1995
V. Katsnelson  Reconstruction of functions with a finite spectrum from its sampling values with noisy data 
marina.fizgeerecitele.com
Tali Flik (Gat)
1990

tali.gatfalikgmail.com
Itzhak Fogel
1987
Roni Fogel
1973
Oren Forkosh
2006
R. Basri  Hierarchical mixture model construction using the remix algorithm  PhD student, Weizmann Inst. Rehovot 
oren.forkoshgmail.com
Nissim Francez
1972
Computer Science Dept., Technion, Haifa 
francezcs.technion.ac.il
Ariel Frank
1979
Maksim Frenkel
2003
R. Basri  Curve matching using the fast marching method  Sr. Software Engineer at Raytheon Integrated Defense Systems 
maxfrenkyahoo.com
Gavriela Freund
1973
Haya Fried
1972
Rachel Fried
1977
Jason Friedman
2002
T. Flash  The planning of three dimensional fully extended arm pointing movements  Macquarie Centre for Cognitive Science, Macquarie University, Sydney, Australia 
write.to.jasongmail.com
Nir Friedman
1992
D. Harel  School of Computer Science & Engineering and Institute of Life Sciences Hebrew University. 
nircs.huji.ac.il
Dmitry Frumkin
2009
A.Shamir  The security of RFID tag identification schemes 
lastochka_1yahoo.com
Jehoshua Fuchs
1974
Garold Fuks
2006
E. Domany  Predication of outcome of breast cancer at the time of diagnosis 
garoldfgmail.com
Mika Gabel
2003
T. Flash  Implementation of the minimum-variance model for motor learning of sequential drawing tasks 
gabelszahav.net.il
Ariel Gabizon
2005
R. Raz  Deterministic extraction and other problems relating to weak random sources  Department of Computing Science, Simon Fraser Univesity, Vancouver 
ariel.gabizongmail.com
Ilana Gafni
1979
Meirav Galun
1992
A. Brandt  Optimal multigrid algorithms for model problems in statistical mechanics  Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot 
meirav.galunweizmann.ac.il
Eliahu Gamzun
1972
   
egamzongmail.com
Rima Gandlin
1999
A. Brandt  Multigrid algorithms for an inverse problem in inpedance tomography  Dept. of Mathematical Sciences, Carnegie Mellon Univ.,Pittsburgh 
rima121212gmail.com
Eran Gat
2010
S. Goldwasser  On the canonization of probabilistic algorithms 
Dorit Geifman
1983

dorit.geifmangmail.com
Ilan Gendelman
2005
T. Flash  Model-based control for an octopus arm 
ilanfortressgb.com
Effim Gendler
1987
Amos Gera
1971
I. Horowitz  ELTA Electronic Industries, Ashdod 
Dan Gera
1987

geradj013.net
Joel Gilad
1977
Sharon Gilaie-Dotan
2001
S. Ullman, R.Malach  Stereo processing in human object-related visual areas 
Tom Gilat
2009
Z. Artstein  Periodic solutions to long run average optimization problems - existence proof for a specific example 
tom.gilatgmail.com
Allon Gillon (Ganz)
1969
Karni Gilon
1991
D. Peleg  Dune Networks 
karnidunenetworks.com
Ariel Gispan
2011
   
ariel.gispanweizmann.ac.il
Donna Goldberg
1981

harpazdpobox.com
Merilee Goldberg
1992

Yaron Goldberg
1991

Shmuel Golde
1973
Doron Goldenberg
1978
 
harpazdpobox.com
Elisheva Goldschmidt
1983
Yaara Goldschmidt
2003
A.Brandt, I. R. Cohen  Adaptive multiscale methods for classification of biological microarray data from multiple experiments 
yaaragil.ibm.com
Ira Gordin
2005
A. Pnueli  Binary code validation tool (CVT/A) 
gordon_irinahotmail.comt
Dafna Gordon
2004
Y. Moses  Finding all possible supersteps in LSCs 
amosgiyahoo.com==============
Michal Gordon
2007
S. Ullman  Improving performance and applying cascades in visual classification 
Raz Gordon
1993
Lena Gorelick
2004
A. Brandt, R. Basri  Object recognition by silhouette shape 
Amos Goren
1988
Dmitry Gourevitch
2006
S. Gelbart, J. Bernstein  Schwartz functions on Nash manifolds 
dimagurgmail.com
Ronen Gradwohl
2006
O. Reingold  Protocols of selection and constructions of dispersers 
r-gradwohlkellogg.northwestern.edu
Einat Granot-Atedgi
2009
E. Schneidman  Stimulus-dependent maximum entropy models and decoding of naturalistic movies form large populations of retinal neurons 
einat.atedgigmail.com
Josef Greenberg
1979
Z. Artstein 
Joseph Greenwald
1986
A. Brandt 
Alexei Grigoriev
1997
S. Yakovlenko  The Lical Topological Eomplexity of Generic Multijet Preimages of Algebraic Varieties.  Sector of Functional Analysis, SISSA, Trieste 
alexei-grigorievutulsa.edu
Kalanit Grill-Spector
1995
M. Edelman, R. Malach  Computational models for the function of the columnar organization in the visual cortex  Dept. of Psychology, Stanford University, Stanford. 
kalanitstanford.edu
Olga Grinchtein
2003
A. Pnueli  Dense-time analysis with fractional adjustment steps 
olga.grinchteinericsson.com
Michael Grinfeld
1983
L. Segel  The University of Strathclyde, Glasgow, Scotland, U.K 
m.grinfeldstrath.ac.uk
Ilan Gronau
2005
E. Shapiro  Computational model for divide and conquer DNA synthesis protocol 
Ilan.Gronaugmail.com
Ornit Grossman
1994
David Harel  The algorithmics of higraphs 
ornit.grossmangmail.com
Nurit Grushka
1973
Anghela Gusis
1996
T. Flash  Arm trajectory planning in 3D space 
angelafbcsd.com
Ronny Hadani
1998
D. Harel  A multi-scale method for drawing graphs nicely  Department of Mathematics, University of Texas. 
hadanimath.utexas.edu
Refael Haddad
2005
D. Harel  Predicting the molecular receptive range of an odorant receptor using an electronic nose 
rafihaddadgmail.com
Shlomo Hadida Panner
1976
Iftach Haitner
2004
O. Goldreich  Implementing oblivious transfer using a collection of dense trapdoor permutations  Microsoft Research, New England 
iftachhgmail.com
Ran Halprin
2009
M. Naor  Games for extracting randomness: Using human play to enhance robust pseudo-random generators 
ran.halprinweizmann.ac.il
Linda Har-Nevo
1986
Zigo Haras
1988
S. Taasan  Motorola, Herzliya 
zigo.harasyahoo.com
Eyal Harel
1989

eyal-hehr-vision.com
Danny Harnik
2000
R. Raz  Higher lower bounds on monotone size  IBM Haifa Research Labs 
danny.harnikgmail.com
Tzvika Hartman
2000
R. Raz  Generalizing Extractors and Dispersers  Google, Tel Aviv. 
tzvika.hartmangmail.com
Yehuda Hassin
1998
D. Peleg  Probabilistic local polling processes in graphs  Jerusalem College of Engineering, Jerusalem 
hassinjce.ac.il
Tal Hassner
2002
R. Basri  What does the scene look like from a scene point?  Open University  
talhassnergmail.com
Dvir Haviv
2006
Y. Yomdin  Model-based representation of generic singularities of surfaces 
dvir.aviv.75gmail.com
Mohamed Hegaze
2006
S. Ullman  Efficient similarity computation with variable neighborhood size in high-dimensional spaces 
mohammad.hegazegmail.com
Rafi Heiman
1987
A. Shamir   On the security of cryptosystems based on linear error correcting codes Presently at: Gilat Satellite Networks, Petah Tikva 
rafigilat.com
Michael Hirsch
1987

mikizvigmail.com
Ya'Akov Hoch
2005
A. Shamir  Fault analysis of stream ciphers 
rarchiniogmail.com
Naomi Hochberg
1974
Sara Hochhauser
1978
Eran Hodis
2010
E. Segal  Divergent gene regulation and Overlapping codes in protein-coding sequences 
Fred Hoppe
1972
S. Karlin  Dept. of Mathematics and Statistics, Dept. of Engineering Physics, McMaster University 
hoppemcmaster.ca
Avshalom Houri
1986
David Huberman
2011
S. Ullman  Detection of minimal recognizable parts 
david.hubermanweizmann.ac.il
Aron Inger
2003
S. Ullman  Automatic features based illumination insensitive facial recognition schemes.  Dept. of Molecular Genetics, Weizmann Institute, Rehovot 
aron.ingerweizmann.ac.il
Amos Israeli
1980

amos.israelinetanya.ac.il
Imanuel Israeli
1969
Alon Itai
1971
Computer Science Dept., Technion, Haifa 
itaics.technion.ac.il
Roey Izkovsky
2007
I. Benjamini  The tale of two phase transitions 
izkovskygmail.com
Eva Jager
1990
Lee A. Segel  On the distribution of dominance in a population of interacting anonymous organisms  GMAX Tel Aviv 
evajager012.net.il
Alan Jaris
1987
Sharon Jefet
1997
A. Pnueli  Checking satisfiability of a QPTL formula using alternating automata 
sharon.jefetincauda.com
Genady Joffe
2003
A. Regev  Structure of group algebras FSn and FAn 
gyoffeuic.edu
Shlomo Josef
2010
U. Feige  Local algorithms for the maximum directed cut problem 
Omer Kadmiel
2009
A. Shamir  Multivariate cryptography - a univariate approach 
omer.kadmielweizmann.ac.il
Ruth Kahana
1973
Yuval Kaminka
2009
S. Ullman, E. Schneidman  Error correction and prediction in a model of the feedback projection from the primary visual cortex to the lateral geniculate nucleus 
kaminkagmail.com
Moshe Kaminsky
2000
D.Harel  More results on non-regular PDL 
kamensky.1nd.edu
Ron Kaminsky
1989
Orbotech Ltd. , Yavne 
ron.kaminskyorbotech.com
Yishay Kamon
1993

gilikamon012.net.il
Jacob Kanarek
1972
Amir Kantor
2009
D. Harel  Foundations of scenario-based modeling  Ph.d student, Weizmann Inst., Rehovot 
amir.kantorweizmann.ac.il
Mary Kantor
1983

mkantoriai.co.il
Erez Kantor
2005
D. Peleg  Approximation algorithms for minimum energy bounded-hop strong connectivity range assignment in ad-hoc networks  Currently Ph.D. student at Weizmann 
erez.kantorgmail.com
David Kaplan
1974
   
kaplan01netvision.net.il
Ron Kapon
1992

ron_kaponradwin.com
Leonid Karlinski
2005
S. Ullman  The learning and use of graphical models for image interpretation 
Yael Karov
1996
S. Edelman  Similarity-based word sense disambiguation 
yaelkgingersoftware.com
Rami Kasterstein
1993

ramidoat.com
Chaim Katz
1976
   
chayakfnx.co.il
Joseph Katz
1965
     
jokatzbezeqint.net
Natan Katz
2004
V. Rom-Kedar  On models for tumor growth with dynamical oxygen supply 
natan.katzgmail.com
Shmuel Katz
1973
A. Pnueli  An Implementation of APL  Computer Science Dept., Technion, Haifa 
katzcs.technion.ac.il
Dan Katzenellenbongen
1987

dan.katzenegmail.com
Arie Kaufman
1974
Moshe Keidar
1986
Irena Kemelmacher-Shlizerman
2004
R. Basri  Indexing with varying illumination and pose 
ira.kemelmacherweizmann.ac.il
Ron Kenett
1977
S. Karlin  KPA Ltd., Ra'anana 
ronkpa.co.il
Ephraim Kenigsberg
2010
A. Tanay  Testing the selection hypothesis for the nucleosome positioning sequence 
Ruth Keren
1966
Yehoshua Keshet (Keish)
1981
L. Segel  Numerical studies of effects of predation on aspect diversity in prey 
Joshua_Keshettelus.net
Eran Keydar
2003
U. Feige  Finding Hamiltonian cycles in semi-random graphs 
ekeydargmail.com
Moshe Keydar
1985
Dmitriy Kharchenko
2004
S. Goldwasser  Verifiable encryption for the Ajtai-Dwork cryptosystem 
infoacceptic.com
Sergey Khristo
2001
I. Benjamini  Gaussian random fields on hyperbolic lattices 
Sergey.Khristogmail.com
Anat Kirshenberg
2002
A. Brandt  Fast calculation of the attenuated radon transform 
anatkafeka.ac.il
Nili Kishinovsky
1974
Orit Kislev
1991
Boris Klebansky
1975
 
klebanskyyahoo.com
Thomas Klein
1981

ktomicolman.ac.il
Uri Klein
2006
S. Ullman  A neurobiological feature hierarchies extraction network model for object classification  PhD Candidate, Courant Institute of Mathematical Sciences, New York University. 
urikleinnyu.edu
Asaf Kleinbort
2008
D. Harel  S2A: An LSC compiler 
asaf.kleinbortgmail.com
Alon Kleinman
1990

alon.kleinmanredbend.com
Amit Kleinman
1991
E. Shapiro  Performance visualization of concurrent logic programs   
amitbklyahoo.com
Dvir Kleper
2002
G. Schechtman  Haar block bases as complemented subspaces of Lp 
kleper_dviryahoo.com
Orna Kliger
1989
S. Ta'asan 
kligersmarts.com
Shmuel Kliger
1987
E. Shapiro  Systems Management Arts (SMARTS), White Plains 
kligersmarts.com
Shimon Kogan
2003
U.Feige  kogan_shimon@hotmail.com 
Yaacov Kogan
1980
Z. Artstein  Dept. of Mathematics and Statistics, University of Maryland, Baltimore 
koganmath.umbc.edu
Gillat Kol
2008
M. Naor  Games for exchanging information 
gillat.kolweizmann.ac.il
Mary Elizabeth Kolc
2011
S. Ullman  Determining head orientation and gaze direction from single images 
Boris Kolot
1997
T. Flash  Application of the EM algorithm for arm movements 
Alexander Koltunov
1999
R. Basri  New spectral features and gaussian mixtures for classification of multispectral image data. 
sashakpost.tau.ac.il
Zvi Kopelman
1981
Israel Kopilovitz
1982
Liah Kor
2011
D. Peleg  Time and communication for distributed verification 
liah.korgmail.com
Gad Koren
1985
Ruth Koren
1967
    Faculty of medicine, Tel-Aviv University 
rkorenpost.ac.il
Yehuda Koren
2000
D. Harel  Nice drawing of graphs with non-uniform vertices  Yahoo, Israel 
yehudayahoo-inc.com
Simon Korman
2005
U. Feige  On the use of randomization in the online set cover problem 
simonkormanyahoo.com
Guy Kortsarz
1990
D. Peleg  Dept. of Computer Science., Rutgers Univ.-Camden 
guykcarb.rutgers.edu
Michael Kositsky
1994
T. Flash, S. Ullman  Dept. of Physiology, Northwestern University, Chicago 
kositskycs.umass.edu
Maxim Kovalenko
1996
E. Domany  Forecasting time series using mixtures of adaptive experts 
Tal Kramer
2008
O. Reingold  On the universality of bit fixing sources 
kramer.talgmail.com
Yonatan Krant
1979
Nahum Krause
1974

krausefanetvision.co.il
Robert Krauthgamer
1997
U. Feige  Simple Algorithms for Hot-Potato Routing  Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot  
robert.krauthgamerweizmann.ac.il
Nadya Krichevsky
1993
Dalia Krieger
2004
A. Fraenkel  The structure of complementary sets of integers: a 3-shift theorem 
dalia.kriegergmail.com
Shira Kritchman
2008
B. Nadler  Determining the number of components in a factor model from limited noisy data 
shirrrayahoo.com
Hillel Kugler
2000
D. Harel  Thesis: Synthesizing state-based object systems from LSC specifications.  Microsoft Research, UK. 
hkuglermicrosoft.com
Dan Kushnir
2004
A. Brandt  Fast multi-scale clustering algorithm with application on cold and black matter simulations 
dkushnir2001gmail.com
Ilia Kuznetsov
1997
A. Fraenkel, M. Naor  Error-correcting codes associated with combinatorial games 
Mordechai Laban
1982
Oded Lachish
2002
R. Raz  Explicit lower bound of 4.5n-o(n) for boolean circuits 
loded.17gmail.com
Karina Ladizhansky
1995
L. Segel  Distribution of generalized aspect with applications to actin fibers and social interactions 
kyusimlanl.gov
Adi Lakritz
2009
E. Schneidman  Individual learning and collective behavior in models of group swarming 
adi.lakritzgmail.com
Ilija Lalovic
1992
E. Shapiro 
ilalovichff.uns.ac.rs
Yehudit Lamprecht
1975
Gilad Landan
2010
A. Tanay  Functional enhancers at the gene-poor 8q24 cancer-linked locus epigenetic switching in immortalized fibroblast culture 
Nurit Landau Weiss
1973
A. Ben-Menahem 
nuritrcn.com
Maria Lando
1994
S. Edelman  Model of human recognition of upright and inverted faces 
mmlandogmail.com
Michael Langberg
1999
U. Feige  Approximation algorithms for maximization problems arising in graph partitioning  Israeli Open University 
mikelopenu.ac.il
Ilana Lavie
2004
R. Basri  Identification of protein residues and amino-acid properties that determine binding specificity of G protein-coupled receptors  
Ido Leichter
2003
R. Basri  Extending hierarchical direct methods to handle larger motion 
idolcs.technion.ac.il
Abraham Lerner
1979
Shraga Lesser
1974
Boris Levant
2004
G. Schechtman  Euclidean sections of the cross-polytope 
Dan Levi
2004
S. Ullman  A network model for fragment-based object classification 
Evgeni Levin
1994
Y. Kannai  Approximation of utility functions 
mlevin05gmail.com
Uri Levite
1970
 
uri.levitegmail.com
Michal Levo
2010
E. Segal  Transcriptional lego- from promoter building blocks, mediating nucleosomes and transcription factors binding, to expression 
Elias Levy
1982
Ran Levy
2011
G. Schechtman  Stabilizing isomorphisms from lp (l 2) into L p 
Yosef Levy
1975
Itzhak Lewendel
1974
Boris Liberman
1996
A. Pnueli 
Yossi Lichtenstein
1987

yossilcolman.ac.il
Hanna Liebreich (Yahil)
1973
Ita Lifshitz-Shpringer
2005
S. Ullman  Image interpretation using bottom-up top-down cycle on fragment trees 
italifgmail.com
Jasmine Linshiz(Tal)
2006
Z. Artstein, E. Titi  Limit cycles in multiscale ordinary differential systems: analysis and numerics 
jasmine.talweizmann.ac.il
Jacques Lipskier
1970
 
jackygenius.co.il
Nadav Liron
1966
J. Gillis  Dept. of Mathematics, Technion, Haifa 
lironleeor.technion.ac.il
Anna Litvak-Hinenzon
1996
V. Rom-Kedar  The homoclinic tangle of slightly dissipative, forced, two dimensional systems  ADSVantage, Shoham 
litvakagmail.com
Miron Livny
1978
M. Melman  Computer Sciences Dept., University of Wisconsin, Madison 
mironcs.wisc.edu
Dan Loewenthal
1967
(Deceased) 
Mordechai Lorberbom
1989
Shai Lubliner
2009
E. Segal  New algorithms for motif finding and for genome-wide prediction of nucleosome occupancy 
shai.lublinerweizmann.ac.il
Rona Lustig
1985
Yoad Lustig
2002
O. Goldreich  Security criteria for public-key encryption 
yoad.lustiggmail.com
Mark Lutzker
1980
Moshe Machline
2002
M. Irani  Multi-body segmentation: Revisiting motion consistency 
Aviad Maizels
2006
A. Shamir  Differential error correcting codes 
aviadprimesense.com
Nataliya Makedonska
2005
A. Brandt  Multilevel Monte Carlo method with fast summation for point-dipole lattices 
nataliya.makedonskagmail.com
Adi Makmal
2005
L. Kronik  Size dependent magnetic properties of Ge:Mn nano-crystals - A first principles study 
adi.makmalweizmann.ac.il
Abraham Malek
1979

avimalekyahoo.com
Sergey Malev
2009
D. Novikov  Linear estimate for the number of zeros of Abelian integrals 
sergeymalevgmail.com
Tal Malkin
1995
A. Pnueli  Dept. of Computer Science, Columbia University, USA 
talcs.columbia.edu
Menachem Malkosh
1978
Shelly Manber
2011
S. Gelbart  An elementary and computational approach to Heegner points 
shellymngmail.com
Amos Manker
1982
Florin Manolache
1993

florinandrew.cmu.edu
Ohad Manor
2009
E. Segal  Studying the relations between microRNA and mRNA expression profiles in hESCs 
ohad.manorweizmann.ac.il
Francis Mantel
1971
Itsik Mantin
2002
A.Shamir  Analysis of the stream cipher RC4 
imantingmail.com
Hillel Maoz
2007
M. Naor  An n 2/5 upper bound for the greedy diameter of general graphs  Google, Tel Aviv 
hillelmgmail.com
Monica Marcus
1993
Y. Moses  Extending Defeasible Knowledge: Belief as Knowledge Relative to an Introspective Assumption  Indiana State University, Terre Haute, Indiana Email: gmarcus@isugw.indstate.edu 
Yosi Marcus
1992
D.Peleg 
yosimrhadera-paper.co.il
Shiri Margel
2005
E. Domany  A method for reconstructing transcriptional regulatory networks 
shiri.margelgmail.com
Leonid Margolin
1995
G. Schechtman  Volume product estimations for bounded convex bodies 
Sharon Marko
2006
R. Raz  Distance approximation in bounded-degree and general sparse graphs 
sharon.markogmail.com
Daniel Mass
1979

massdannygmail.com
Yossi Mass
1993
E. Shapiro  Crown: An architecture for cyberspace 
yosimassil.ibm.com
Yosef Matias
1987

yossi.matiasgmail.com
Rachel Matichin
2004
D.Peleg  Hotlink assignment in web directories 
rachelmatichingmail.com
Elad Mazor
2010
E. Segal  High-throughput measurement of RNA secondary structure 
eladmazgmail.com
Yair Mazor
2010
E. Shapiro  DNA libraries construction via DNA editing- design and planning 
yair.mazorgmail.com
Or Meir
2008
O. Goldreich  Combinatorial construction of locally testable codes 
Yaron Meirovich
2007
T. Flash  Kinematic analyses of the Israeli sign language 
Inna Melamed
1988
Yacob Melnick
1971
Anna Melnikov
1986
A. Joseph  Dept. of Mathematics ,Weizmann Institute, Rehovot 
anna.melnikovweizmann.ac.il
Ovadya Menadeva
1997
R. Basri  The robustness to occlusions in recognizing planar objects with regions  Applied Materials 
ovadya.menadevagmail.com
Netta Mendelson-Cohen
2010
A. Tanay  DNA methylation and the evolution of CpGs in the human genome 
Varda Mendes
1973
Yaniv Meoded
2006
A. Regev  Balanced tableaux 
yaniv.meodedgmail.com
Ron Merom
2007
D. Harel  Playing together: Distributed collaborative play-out of live sequence charts 
ronmeromyahoo.com
Igell Michal
2005
O. Reingold  On the universality of adversarial bit fixing sources 
michaligellgmail.com
Ruben Michel
1985
Colin Mierowsky
1985
Vladimir Mikulinsky
1987
A. Brandt  Multigrid treatment of boundary and free-boundary conditions  ORBOTECH, Yavne 
vmikulinskyyahoo.com
Joseph Mishari
1968
Anton Mitiaguine
2004
A. Shamir  Analysis of neural cryptography 
mityagindnttm.ru
Shimon Mochon
1975
Moshe Mor
1977
A. Fraenkel  Computer Sci. Dept., Bar Ilan University, Ramat Gan 
morcs.biu.ac.il
Leah Mory-Rauch
1973
Z. Riesel  Dep. Of Computer Science and Applied Mathematics. Weizmann Inst., Rehovot 
leah.moryweizmann.ac.il
Yael Moscowitz
1990
E. Shapiro 
yaelmoscowitzgmail.com
Luis Motles
1974
Eyal Mozes
1987
Aharon Nachson
1991
Uri Nadav
2005
M. Naor  Fault-tolerant storage systems and quorum system for dynamic environment 
urinadavstanford.edu
Katherine Naimark
1995
M. Solomiak  Embedding theorems and boundary value problems related to self-similar measures on Rd 
knaimarknccu.edu
Igor Najfeld
1974
Smadar Neaab
1982
D. Harel  Tsofen - High Technology Centers 
smadar.nehabtsofen.org
Itzhak Netzer
1976
   
itzhakngmail.com
Judith Neuberger
1976
Hani Neuvirth
2003
R. Raz, G. Schreiber  Characterization and prediction of protein-protein binding sites in heterocomplexes 
Aurelian Nicola
2000
D. Michelson  Stability of discrete shocks for difference approximations to systems of conservation laws 
Bruce Nilo
1986
A. Brandt 
bdnilogmail.com
Amir Nissim
2011
D. Harel  Combining behavioral programming and fuzziness for hybrid control systems 
amirnissimgmail.com
Kobbi Nissim
1997
U. Feige  On the design and use of efficient interactive proofs  Dept. Computer Science, Ben Gurion Univ., Beer-Sheva 
kobbics.bgu.ac.il
Gabriel Nivasch
2004
A. Fraenkel  The Sprague-Grundy function for Wythoff's game: on the location of the g-values  Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv 
gnivaschyahoo.com
Elad Noor
2009
   
Raquel Norel
1990
Z. Agur  A Model for the Embryonic Cell Cycle and the Adjustment of the Mitotic Clock by cyclin and MPF levels.  IBM Computational Biology Center 
rnorelus.ibm.com
Amy Novick
1976
   
amynctx.technion.ac.il
Sara Novik
1980

saraisrcorp.co.il
Dmitri Novikov
1995
S. Yakovenko  C-smooth polynomial normal form for flows of vector fields in codimension  Dept. of Mathematics, Weizmann Institute, Rehovot 
dimitri.novikovweizmann.ac.il
Sergey Novikov
2010
O. Reingold  On derandomized direct product theorems 
sergey.novikovgmail.com
Lior Noy
2004
T. Flash  Features of human movement imitation 
Asaf Nussbaum
2004
S. Goldwasser  Huge pseudo-random graphs preserving global properties of random graphs 
assafgbrener.org.il
Joseph Nygate
1985

yossinyamdocs.com
Noa Oded
2011
A. Tanay  Models for comparative epigenomics and their applications to the evolution of polycomb recruiting elements in drosophila embryos 
noaoded21gmail.com
Eran Ofek
2002
U. Feige  Maximum edge coloring with a bounded number of Colors  Google, Tel Aviv 
eran.ofekgmail.com
Vadim Ogranovich
1994
A. Brandt  Investigation of multigrid algorithms for nonelliptic problems 
vogranovichjumptrading.com
Salomon Oldak
1985
I. Horowitz  Electr. & Computer Engineering, California State Polytechnic University, Pomona 
soldakcsupomona.edu
Tmima Olshansky
1975
   
tmimacisco.com
Dan Ophir
1973
Dept. Computer Sci. & Mathematics, The College of Judea and Samaria, Ariel 
danoariel.ac.il
Yossef Oren
2007
A. Shamir  Remote power analysis of RFID tags  Tel-Aviv University 
wisoy.ne.ro
Tal Orenshtein
2010
G. Kozma & B. Tsaban  Global Topological properties and convergence of real functions 
taloweizmann.ac.il
Marina Ousov-Fridin
2004
T. Flash  Gesture language for telerobotics and virtual reality 
marinafridingmail.com
Shira Ozana Eilam
2010
S. Ullman H. Slovin  The song of the cells: development of an image identification decoder for voltage-sensitive dye signal in early visual cortex of fixating monkeys 
Uri Patish
2011
S. Ullman  Classifying images by semantic knowledge 
uri_patishyahoo.com
Boaz Patt
1989
Boaz Patt-Shamir
1989
D. Peleg  Department of Electrical Engineering. Tel Aviv University. 
boazeng.tau.ac.il
Zamir Paz
1977
Guy Peer
2004
D.Peleg  Graph traversal by a robot: memory requirements and time bounds 
Guy.Peersafenet-inc.com
Sergey Pekarsky
1997
V. Rom-Kedar  Uniform stochastic web in hamiltonian sysetms 
Tomer Peled
2007
R. Basri  Towards segmentation-based scene understanding  Elbit Systems Electro-optics-Elop Ltd. 
peled_tomeryahoo.com
Udi Peled (Hadad)
2008
A. Fraenkel, A. Regev  Polynomializing hard sequences using surrogate sequences 
HadadUdiyahoo.com
Yiffat Peleg
1988
Yehoshua Perl
1971
Computer Science Dept., New Jersey Institute of Technology, Newark 
yehoshua.perlgmail.com
Meital Perry
2006
T. Flash  Noise models for simple and complex reaching movements 
meital.perrygmail.com
Leonid Peshkin
1996
S. Ullman  Statistical methods in the analysis of brain imaging data 
peshahms.harvard.edu
Nir Piterman
2001
Extending temporal logic with -automata 
nir.pitermandoc.ic.ac.uk
Meir Plan
1974
Michal Politi
1985
A. Pnueli 
mpolitinetvision.net.il
Zvi Polunsky
1993
Y. Mozes  PTANGO-A system for algorithm animation in a distributed environment 
zvi.polgmail.com
Felix Polyakov
2001
T. Flash   Analysis of monkey scribbles during learning in the framework of models of planar hand motion   Bank Leumi, Israel 
felix.polyakovgmail.com
Liora Pomeranz
1974
A. Pnueli 
lmaron012.net.il
Ouri Poupko
2008
D. Harel  Specifying and executing web service choreography using live sequence charts 
ouri.poupkogmail.com
Sonne Preminger
1995
E. Abfal  Complexity analysis of movement in multi robot system 
Jeanette Pruzan Schmidt
1979
Dept. of Bioengineering, Stanford University, California 
jpspucs4.poly.edu
Yuri Pryadkin
1996
S. Edelman  Motion based figure-ground segmentation 
yuriisi.edu
David Raab
1977
Eliyahu Raban
1978
Michal Rabani
2008
E. Segal  A Probabilistic model for identifying RNA motifs in unaligned sequences 
michalragmail.com
Ofer Rahat
2002
A. Fraenkel  Complexity of error-correcting codes derived from combinatorial games 
Giora Ram
1973
Hanna Ranel
1974
Anna Rapoport (Levant)
2003
Y. Kannai  Theoretical and empirical issues in demand analysis 
annarpaieon.com
Dov Rauch
1982

drauchiai.co.il
Barak Raveh
2007
R. Basri  Rediscovering secondary structures by searching for repetitive patterns in graphs of protein folds  PhD student, Hebrew University 
barak.ravehmail.huji.ac.il
Li-On Raviv
1998
A. Pnueli  LTL symbolic model checking 
Giora Rayzman
1996
U. Feige  Approximation techniques for job-shop scheduling problems 
Danny Raz
1990
D. Harel  Dept. of Computer Science, Technion, Haifa 
dannycs.technion.ac.il
Ehud Reches
1988
Herzl Regev
1995
D. Peleg  Graph spanners and the minimum capacity network design problem 
hregevyahoo.com
Daniel Reichman
2005
U. Feige  Improved hardness results for 2-variable CSPs 
daniel.reichmanweizmann.ac.il
Shifra Reif
2007
M. Gorelik  On simplicity of W-algebras Wk (SI(2|n),f theta) 
Eilon Reshef
1999
D. Peleg  Approximating minimum communication cost spanning trees and related problems.  WebCollage 
aloncsail.mit.edu
Zvi Retchikman
1988

mzvicic.ipn.mx
Jacob Rimer
1992
Michael Rodeh
1972
  IBM and Computer Science Department, Technion, Haifa 
rodehil.ibm.com
Vladimir Rogozin
1993
T. Flash  Robotic control of dynamic tasks. 
rogozinvad49inbox.ru
Michael Roitman
1995
S. Yakovlenko  Critical points of the period function for the Newtonian system with a polynomial potential  Morgan Stanley, NY 
Dorit Ron
1984
A. Brandt  Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot 
dorit.ronweizmann.ac.il
Jonathan Ronen
2007
Z. Artstein  Linear Feedback Stabilization of Controlled Switched Systems 
jon_ronenyahoo.com
Alon Rosen
2000
M. Naor  Pesudo-random functions and factoring  School of Computer Science, Herzliya Interdisciplinary Center. 
alon.rosenids.ac.il
Vered Rosen
2001
O. Goldreich  On the security of modular exponentiation 
alon.rosengmail.com
Menachem Rosenfeld
2009
B. Nadler  Semi-supervised classification with class-dependent parameters 
menirosenfeldgmail.com
Raaya Rosenfeld
1979

rayalegmail.com
Haya Rosenthal
1966
Roni Rosner
1986
A. Pnueli  A Choppy Logic  INTEL, Haifa 
roni.rosnerintel.com
Rony Ross
1976
Gil Roth
1989
Aviva Roth Greenman
1973
S. Even  Computing Center, Weizmann Inst., Rehovot 
aviva.greenmanweizmann.ac.il
Guy Rothblum
2006
M. Naor  The complexity of online memory checking 
guy.rothblumgmail.com
Ron Rothblum
2011
O. Goldreich  On homomorphic encryption and enhanced trapdoor permutations  
rothblumgmail.com
Michael Rozantsev
1993
A. Brandt  Methods for multigrid solution of quantum electrodynamics equations  Intercon Systems Ltd. 
michaelrozantsevgmail.com
Sitvanit Ruah
1995
M. Naor  The decisional complexity of membership and selection problems over the reals.  IBM, Haifa 
sitvanitil.ibm.com
Barton Rubenstein
1991
Tatyana Rubshtein
1997
U. Feige 
Dima Ruinskiy
2007
A. Shamir  The security of cryptosystems based on combinatorial groups  Intel, Haifa 
dr_stmail.ru
Neer Saad
2005
A. Brandt  Multiscale algorithm for time-dependent one dimensional system 
neersaadgmail.com
Tali Sadka
2007
E. Segal  Understanding transcriptional control: A thermodynamic approach 
Shmuel Safra
1986
A. Pnueli  Dept. of Computer Science, Tel Aviv University, Ramat Aviv 
saframath.tau.ac.il
Ilya Safro
2003
A. Brandt, U. Feige  The minimum linear arrangement problem  Mathematics and Computer Science Division, Argonne National Laboratory, Argonne 
safromcs.anl.gov
Tal Sagiv
2005
D. Peleg  Algorithms for localized topology control in ad-hoc networks 
talsaggmail.com
Yehoshua Sagiv
1976
M. Raim  School of Computer Science & Engineering,Hebrew University 
sagivcs.huji.ac.il
Eugenia Salomon
1966
Yetty Salomon
1973
Nadav Samet
2008
G. Schechtman, B.Tsaban  Ramsey theory of open covers  Google, Mountain View, California 
thesametgmail.com
Bilha Sandak
1991
Meir Sardas
1993
David Harel  Drawing graphs nicely on the plane 
Niv Moshe Sarig
2007
Y. Yomdin  Robust reconstruction of nonlinear model parameters from measurement data 
niv.sarigweizmann.ac.il
Hagit Schechter (Cohen)
1993
D.Peleg  Computer Science Department,University of British Columbia 
hagitschyahoo.com
Chaim-Meyer Scheff
1987
Rivka Schild
1975
   
riki12stergmail.com
Haim Schneider
1991

haim_schneideryahoo.com
Joel Schusdek
1975
   
yoelshganshmuel.com
Catherine Sedletsky
2000
A. Pnueli  Formal verification of the ricart_agrawala algorithm. 
Tamar Seeman-Emerson
2000
A. Fraenkel  Complexity of certain Heap Game Characteristic functions  Dept. of Mathematics, Bar Ilan University, Ramat Gan 
stseemanmail.utexas.edu
Barak Segal
2011
E. Segal  Controlling cell to cell expression variability by DNA sequence 
barak.segalmail.huji.ac.il
Noa Segal-Agmon
2004
D.Peleg  Gathering autonomous mobile robots with faults 
dnagmonyahoo.com
Itai Segall
2007
D. Harel  Mutual usage of scenario-based programming and AI planning 
Gil Segev
2007
V. Katsnelson  Tight bounds for unconditional authentication protocols in the manual channel and shared key models 
gil.segevweizmann.ac.il
Idith Segev
2006
V. Katsnelson  The Hawaiian conjecture 
idithsgmail.com
Yaakov Setty
2003
U. Alon, R.Raz  Detailed map of the input function encoded by the cis-regulatory region of the lactose operon  Microsoft Research Ltd., Cambridge 
yaki.settygmail.com
Maya Shafranek
1980
Avner Shafrir
1985

avner.shafrirgmail.com
Doron Shafrir
2009
A.Joseph  Duality of orbits and invariants in representations of Lie algebras 
doron.shafrirweizmann.ac.il
Oded Shaham
2004
D. Harel  On mapping between electronic noses 
shahamogmail.com
Elad Shahar
1996
A. Pnueli  Multiple encryption schemes with intermediate exclusive-or operations  IBM 
eladsil.ibm.com
Oded Shahar
2011
M. Irani  Space-time super-resolution from a single video 
oded.shahargmail.com
Ron Shahar
1977
   
ron.shaharweizmann.ac.il
Shahar Shahmoon
2007
E. Segal  Inferring regulator activity levels in transcription systems 
sshahmoongmail.com
Rina Shainsky
1983

rinascarmelventures.com
Michal Shalev
1988
Menahem Shalgi
1976
   
shalgimgmail.com
Adi Shamir
1974
Z. Manna  Dept. of Appl. Mathematics & Computer Sci., Weizmann Institute, Rehovot 
adi.shamirweizmann.ac.il
Roy Shamir
1996
A. Shamir  Multiple encryption schemes with intermediate exclusive-or operations 
rshamirtau.ac.il
Aharon Shapira
1977
   
aroszapzahav.net.il
Eli Shechtman
2003
M. Irani  Space-time super-resolution  Adobe Systems Inc., & Dept. of Computer Science and Engineering, Univ. of Washington, Seattle 
elishecs.washington.edu
Or Sheffet
2007
O. Goldreich  Reducing the randomness complexity of property testing with an emphasis on testing bipartiteness 
or.sheffetgmail.com
Eric Shellef
2008
I. Benjamini  Random interacting particle systems 
eric.shellefweizmann.ac.il
Itzhak Shemer
1977
Lea Shemer
1975
A. Brandt  (Deceased 2008) 
Yevgeni Shenkar
1986
Joseph Shiftan
1972
   
yosinetanya.ac.il
Hila Shimon
2011
   
hilashimongmail.com
Raphael Shimoni
1975
   
rshimonibezeqint.net
Ilan Shimshoni
1989

ishimshonimis.haifa.ac.il
Igor Shinkar
2010
I. Dinur  Intersecting families, independent sets and coloring of certain graph products 
Boris Shkoller
1966
Eli Shlizerman
2005
V. Rom-Kedar 
Amnon Shmidman
1976
   
amnonshmidmanneweraindia.com
Faina Shmulyian
1995
A. Brandt  Multigrid Algorithms for an inverse problem in impedance tomography 
sergeiil.ibm.com
Sergei Shmulyian
1993
A. Brandt  Multilevel monte carlo algorithms for spin models  IBM, Haifa 
sergeihaifa.vnet.ibm.com
Maria Shneerson
1998
R. Basri, A. Tal  Animation of geometric algorithms in an Electronic Classroom 
Doron Shoham
1989
Ora Shoham
1974
Thomas Shoyom
1979

thomas_segevbmc.com
Michael Shpigelmacher
2006
T. Flash  Directional-geometrical approach to via - point movement 
michael.shpigelmachergmail.com
Yosefa Shraga
1974
David Sidilkover
1984
A. Brandt  NASA Langley Research Center, Hampton 
sidilkovicase.edu
Denis Simakov
2003
R. Basri  Dense shape from motion with arbitrary, unknown lighting  Samsung, Yakum 
denis.simakovsamsung.com
Pnina Skupsky
1973
Giora Slutzki
1974
   
slutzkics.iastate.edu
Leon Smursz
1979
Zeev Sobol
1993
M. Solomiak, M. Liscovitch  A Priori smoothness estimates of solutions of second-order elliptic and parabolic equations in a weighted Lp space 
z.sobolswansea.ac.uk
Alexander Sokolovsky
2006
R. Raz, A. Shpilka  From derandomized affine homomorphism testing to derandomized homomorphism testing 
alexander_sokolovskyyahoo.com
Sergei Soloviev
1998
S. Ullman  Shift-invariant recognition by the conjunction of basic invariant patterns 
Ben-Zion Sonkin
1983
Simha Sorin
1973
   
simha.sorinwilocity.com
Yuval Spector
2000
R. Basri  Visual homing: Application and extensions.  Soligence Corporation 
kalanitstanford.edu
Alina Spectorov
1993
Generalization of object recognition across stimulus deformations. 
Eliezer Spitz
1973
Joseph Stein
1973
A. Tannenbaum  Center for Technological Education, Holon 
j_steinmachahava.com
Zvia Stein (Burganski)
1974
   
J_steinnetvision.net.il
David Steinberg
1974
Eliahu Stern
1973
   
eliahusigalon.com
Shani Stern
2010
A. Tanay  A computational model for prediction of polycomb recruitment elements in fruit flies embryos 
Jonathan Stiebel
1995
D.Peleg  Simulation of constant queue size store and forward by deflection routing 
successfulentrepreneurgmail.com
Yehuda Sylman
1973
N. Liron  Applied Materials, Rehovot 
yehuda_sylmanamat.com
Daniel Szoke
1988

daniel.szokegmail.com
Shlomo Ta'Asan
1979
A. Brandt  Dept. of Mathematical Sciences, Carnegie Mellon University, Pittsburg 
taasangmail.com
Gilad Tadmor
1979
Z. Artstein  Electrical & Computer Engineering Dept., Northeastern University, Boston 
tadmorcoe.neu.edu
Inbal Talgam-Cohen
2010
U. Feige  A direct reduction from k-player to 2-player Nash Equilibrium 
inbaltalgamyahoo.com
Moshe Tamir
1976
Omer Tamuz
2011
E. Mossel  Estimation in modern contexts 
omer.tamuzweizmann.ac.il
Uzi Tassa
1975
A. Fraenkel   
uzitassanetvision.net.il
Moddy Te'Eni
1999
Y. Kannai  Non zero-sum differential games. 
moddyg2ayahoo.co.uk
Michael Temkin
1999
V. Berkovich  Dept. of Mathematics, Univ. of Pennsylvania, Philadelphia 
temkinmath.upenn.edu
Moshe Tennenholtz
1987
Y. Moses  Faculty of Industrial Engineering & Management, Technion, Haifa 
moshetie.technion.ac.il
Itay Tirosh
2006
N. Barkai  Evolution of gene expression in related yeast species 
itay.tiroshweizmann.ac.il
Limor Tirosh-Pundak-Mintz
1991

limor.tiroshgmail.com
Lev Trainin
1996
Y. Yomdin  Two problems in high order discretization schemes: representation of maximum functions and hermite approximation 
Karra Trayambaka Nath
2006
T. Flash 
ktnathgmail.com
Mark Triebitz
1976
Eran Tromer
2003
A. Shamir  Hardware-based parallelization of factoring algorithms  Computer Sci. & Artificial Intelligence Lab., MIT, Cambridge 
tromercsail.mit.edu
Meir Tsadik
1978
   
meirtdesignartnetworks.com
Gilad Tsur
2007
O. Goldreich  Polylogarithmic time and query complexity 
gilad.tsurgmail.com
Sivan Tuvi
2005
E. Shapiro  Optimization algorithms for divide and conquer DNA synthesis protocol 
sivan.tuvigmail.com
Ilya Tyomkin
1999
Y. Yomdin  h1 - vanishing criteria in some problems in algebraic geometry and singularity theory 
tyomkin013.net
Yoav Tzur
2010
O. Goldreich  Notions of weak pseudorandomness and GF(2n)- polynomials 
yoavtzgmail.com
Yaron Ukrainitz
2005
M. Irani  Sequence alignment by maximizing space-time correlations 
yaronugmail.com
Leonid Ulitsky
2001
A. Tal  Algorithm animations for distributed environments 
leonid.ulitskyconvergys.co.il
Ron Unger
1986
D. Harel  Bar-Ilan, Life Sciences 
ronbiocom1.ls.biu.ac.il
Eli Upfal
1980
E. Shamir  Spanning Sub-Graphs in Random Graphs  Dept. of Computer Science, Brown University 
elics.brown.edu
Moshe Vardi
1980
Schlomo Vardy
1982
Moshe Vered
1972
Dan Vilenchik
2004
U. Feige  Finding a satisfying assignment for random satisfiable 3CNF formulas 
danny.vilenchikgmail.com
Miriam Vilner
1964
Omry Viner
1985

omri_vinerpacketlight.com
Ada Vishne
1973
Naftali Voicheck
1984
Dan Volok
1997
V. Katsnelson  Special cases of the Reimann-Hiblert problem  Department of Mathematics. Kansas State University 
danvolokhotmail.com
Orli Waarts
1988
Erez Waisbard
2004
S. Goldwasser  New directions in constructing efficient and secure designated confirmer signatures 
Waisbardgmail.com
Kang Wang
1996
H. Dym  Discrete H optimal control 
Harry Wecksler
1973
Yaacov Weingarten
1979

wyaacovgmail.com
Marcel Weinstein
1970
Gera Weiss
2001
Z. Artstein  Stabilzation via dynamic output feedback  Department of Electrical Engineerig Systems, Tel Aviv University. 
gweisseng.tau.ac.il
Joseph Weiss
1972
   
yossiwariel.ac.il
Michael Werman
1982

wermancs.huji.ac.il
Ehud Wieder
2002
U. Feige  Offline allocation of satellite resources or maximun edge coloring with a fixed number of colors  Microsoft, Mountain View 
uwiedermicrosoft.com
Asher Wilk
1980
A. Pnueli  CHIPCOMP, Nes Ziona 
wilk.ashergmail.com
Sharon Wishko-Stern
2004
A. Brandt  An algebraic multigrid based algorithm for bisectioning general graphs 
sharon.wishkogmail.com
Avishai Wool
1992
D.Peleg  School of Electrical Engineering,Tel Aviv University, Ramat Aviv 
yasheng.tau.ac.il
Yariv Yaari
2011
I. Benjamini  Estimation in modern contexts 
Ariel Yadin
2006
I. Benjamini  Random Graph-Homomorphisms, Random-Graph Properties and Random Walks 
ariel.yadingmail.com
Sharon Yalov
1991

sharonyafeka.ac.il
Leeat Yankielowicz Keren
2011
E. Segal  Exploring the relationship between transcriptional control and metabolic network structure in Saccharomycescerevisiae 
Eyal Yardeni
1987
E. Shapiro  Systems Management Arts (SMARTS), White Plains 
eyal.yardenismarts.com
Amir Yehudayoff
2006
R. Raz  Arithmetic Circuits and Formulas 
amir.yehudayoffgmail.com
Yaacov Yesha
1975
   
yayeshaumbc.edu
Yoel Yolis
1989

yoel.yollesgmail.com
Ilana Yosef
1985
Michael Yudin
1997
A. Shamir  Computer algebra and cryptography 
Gal Zahavi
2005
Y. Yomdin  Solutions of large systems of O.D.E's as interpretation of evolutionary surfaces 
Rebeka Zarhy
1979
Shlomit Zarkhi
2006
Z. Artstein, E. Titi  On two-player zero-sum games with information 
shlomitzgmail.com
Maria Zeldin
2009
S. Ullman  Combining skin color and segmentation to detect people in images 
maria.zeldinweizmann.ac.il
Ido Zelman
2004
U. Alon  Mathematical model for C. elegans locomotion 
idozelmangmail.com
Lihi Zelnik-Manor
1999
M. Irani  Multi-frame alignment of planes.  Department of Electrical Engineering, Technion 
lihiee.technion.ac.il
Avishai Zilbershatz
1989

avishainsinfinity-equity.com
Yehuda Zinger
1986

yehuda.singerllp.co.il
Lenore Zuck
1983
A. Pnueli  Dept. of Computer Science, University of Illinois, Chicago 
lenorecs.uic.edu
Dmitry Zusman
1998
A. Fraenkel, D. Peleg  Some extensions and generalizations of Nim-like games 
dima.zusmangmail.com
Artem Zvavich
1997
O. Schramm  The Critical Probability for Voronoi Pcrcolation  Dept. of Mathematical Sciences, Kent State Univ., Kent 
zvavitchmath.kent.edu
Eliyahu Zvuluny
1979
Gideon Zwas
1964
S. Abarbanel  (Deceased - 16.1.2000) 

 


Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
POB 26, Rehovot 76100, ISRAEL
Tel: 972-8-934-3540     Fax: 972-8-934-4122

This file was last modified on Friday, 10-Feb-2012 18:00:16 IST.