You are here


Name Yearsort ascending Advisor Thesis
Zeevi David 2017 E. Segal Deciphering postprandial glycemic responses in human subjects
Karklinsky Matan 2017 T. Flash Timing and geometry of planning and execution of human movement
Spiro Adam 2017 E. Shapiro In vivo reconstruction and modeling of cellular dynamics in health and disease
Gur Tom 2017 O. Goldreich On locally verifiable proofs of proximity
Rosenfeld Amir 2017 S. Ullman Interpreting minimal recognizable action configurations
Moscovich Eiger Amit 2017 B. Nadler Topics in computational statistics
Titon Myriam 2017 T. Flash The searching movement of the octopus: Biological and Robotic studies
Mendelson Cohen Netta 2017 A. Tanay Modeling evolution of DNA methylation patterns in colnal populations of tumor and normal cells
Fetaya Ethan 2017 S. Ullman Learning with limited supervision
Aigerman Noam 2017 Y. Lipman On bijective and low-distortion mapping of meshes
Ganor Anat 2017 R. Raz Exponential separations of information and communication
Izsak Ran 2017 U. Feige Coping with hardness of optimization problems by introducing useful complexity measures
Pinkovezky Mary 2017 V. Rom-Kedar Particle motion in impact systems
Uziely Nitzan 2017 S. Dobzinski On revenue maximization in single item auctions with correlated values
Shtengel Anna 2017 Y. Lipman Geometric optimization via composite majorization
Voichek Yoav 2017 N. Barkai Chromatin and expression dynamics during DNA replication
Barenholz Uri 2017 R. Milo Systems effects of gene expression regulation and metabolic autocatalytic cycles
Korn-Israeli Simon 2017 T. Flash
Kamma Lior 2017 R. Krauthgamer
Sherman Dana 2017 D. Harel Computer modeling of the vibrissal sensormotor system in rats
Kovalsky Shahar 2016 R. Basri, Y. Lipman Optimization of singular values for problems in computer graphics and vision
Cohen Gil 2016 R. Raz New constructions of pseudorandom objects and applications to classical problems
Gispan Ariel 2016 N. Barkai Global analysis of the DNA replication program in S.cerevisiae
Tal Avishay 2016 R. Raz Analysis of Boolean functions in theoretical computer science
Simon Konrad 2016 R.Basri Linear and nonlinear elasticity models for shape matching
Katz Guy 2016 D. Harel On concurrency idioms and their effect on program analysis
Arkind Noam 2016 T. Flash Redundancy resolution of human arm motions
Reichman Daniel 2015 U. Feige From contagious sets to independent sets:The layers model with applications
Parter Merav 2015 D.Peleg The topology of wireless communication and applications
Faktor Alon 2015 M. Irani Segmentation and clustering by composition using the wisdom of crowds of images
Jozeph Shlomo 2015 U. Feige Universal factor graphs
Hartman Yair 2015 O. Sarig Stationary actions, random walks and furstenberg entropy
Goldenberg Elazar 2015 I. Dinur Direct products and sums: Locally testing, locally decoding and their applications
Shinkar Igor 2015 I. Dinur Topics on local-to-global phenomena in large combinatorial objects
Zontak Maria 2015 M. Irani Internal statistics of a single natural image
Bloch (Swerdlin) Naamah 2015 D. Harel An interactive tool for animating biology, and its use in spatial and temporal modeling of a cancerous tumor and its microenvironment
Orenshtein Tal 2015 G. Kozma On cookie monsters and greedy walkers:Topics in self interacting random walks
Kenigsberg Ephraim 2015 A. Tanay Heterogeneity and context-dependency in genome evolution and transcription regulation
Rothblum Ron 2015 O. Goldreich Verifiable outsourcing of computation
Dmitry Batenkov 2014 Y. Yomdin Algebraic reconstruction of geometric models from integral measurements
Kol Gilat 2014 I. Dinur New directions in probabilistic proofs and interactive communication
Yaffe Eitan 2014 A. Tanay Evolution and structure of epigenomic domains
Dorfman Nimrod 2014 S. Ullman Modeling early human visual learning
Glasner Daniel 2013 R. Basri A joint optimization approach to problems in computer vision
Jaschek Ram 2013 A. Tanay Epigenetics, transcription factors and cell type specificity
Kliper-Gross Orit 2013 R. Basri, T. Hassner Action recognition in challenging real-world videos
Drier Yotam 2013 E. Domany
Procaccia Eviatar 2013 O. Zeituni Geometry of stochastic processes on euclidean lattices
Meir Or Shalom 2012 O. Goldreich Combinatorial constructions of probabilistic proof systems Currently at: Haifa University
Zeevi Danny 2012 E. Segal From sequence to expression - Reading the promoters of ribosomal protein genes in yeast
Brakerski Zvika 2012 S. Goldwasser Cryptographic methods for the clouds
Harari Daniel 2012 S. Ullman Using motion and internal supervision in object recognition
Noam Kaplan 2012 E. Segal The effect of nucleosome sequence preferences on biological processes
Malka Roy 2012 V. Rom-Kedar Bacterial infection dynamics in humans - Mathematical modeling of the innate immune system
Tom Ran 2012 E. Shapiro A biomolecular computing system capable of intelligent deductions and query answering & A synthetic NOR-based programmable genetic device
Yaniv Sa'Ar 2012 D. Harel Algorithmic methods for formal verification
Sarig Niv 2012 Y. Yomdin Algebraic reconstruction of "shift-generated" signals from integral measurements
Sharon Eilon 2012 E. Segal Learning the grammar rules by which transcriptional regulation is encoded in the DNA
Livne Noam 2011 O. Goldreich From Computational Complexity to Cryptography and to Game Theory
Aizenbud Avraham 2011
Lovett Shachar 2011 O. Reingold, R. Raz Low-degree polynomials and applications in Theoretical Computer Science
Linshiz Jasmine Sonia 2011 E. Titi Inviscid-alpha regularizations of the vortex sheets and MHD equations
Lapid Hadas 2011
Segal Itai 2011 D. Harel Formal methods for synthesis, execution and analysis of LSC specifications
Fuchs Ronit Roxana 2011
Freche Dominik 2011
Raveh Sadka Tali 2011 E. Segal DNA-encoded mechanisms of transcriptional control
Alpert Sharon 2010
Gradwohi Ronen 2010 O. Reingold Computer science and economics in a merged model
Hoch Yaacov Zvi 2010 A. Shamir Security analysis of generic iterated hash functions
Litvak Shai 2010
Maoz Shahar 2010
Fridin Marina 2010 T. Flash Body expression of emotions
Kemelmacher Irena 2010 R. Basri 3D shape reconstruction with shading information and prior knowledge
Kantor Erez 2010 D. Peleg Algorithms for wireless ad-hoc radio and sensor networks
Kertesz Michael 2010
Karlinsky Leonid 2010 S. Ullman Towards the recognition of actions and their components
Moshkovitz Dana 2009 R. Raz Two query probabilistic checking of proofs with subconstant error Currently at: Princeton University and the Institute for Advanced Study (IAS)
Asaf Nussbaum 2009 M. Naor Efficient implementations of huge random graphs
Sadot-Michaeli Avital 2009 D. Harel, I.R. Cohen On specific and generic modeling of complex biological systems
Taflia Adi (Arkadi) 2009 D. Holcman Diffusion of interacting particles in confined domains and applications to biology
Boiman Oren 2009 M. Irani Inference by composition
Zeev Dvir 2009 R. Raz, A. Shpilka Extractors, mergers and the finite field Kakeya problem
Frolova Darya 2009 R.Basri Analysis of lighting and applications to 3-dimensional reconstruction of moving and static objects
Gabizon Ariel 2009 R. Raz, R. Shaltiel Deterministic extractors for weak random sources Currently at: Department of Computing Science, Simon Fraser Univesity, Vancouver
Gurel-Gurevich Ori 2009 I. Benjamini Random walks and random structures Currently at: Microsoft Research, Redmond
Moran Tal 2009 M. Naor Cryptography for the People, by the People
Lamprou Polyxeni 2008 A. Joseph Some combinatorial and geometric aspects in the Representation theory of Lie algebras Currently at: Mathematics Dept., University of the Aegean, Samos
Levant (Rappaport) Anna 2008 V. Rom-Kedar Multi dimensional billiard-like potentials Currently at: Paieon Medical Inc.
Linshitz Gregory 2008 E. Shapiro Recursive construction of error-free DNA molecules and libraries from error-prone components Currently at: Dept. of Biological Chemistry, Weizmann Institute, Rehovot
Milman Emanuel 2008 G. Schechtman On the distribution of volume in convex bodies Currently at: School of Mathematics, Institute for Advanced Study, Einstein Drive, Simonyi Hall, Princeton.
Sarel Bernard 2008 M. Irani Separating transparent layers in images and video Currently at: Verint, Herzliya
Shochat Eliezer 2008 V. Rom-Kedar Mathematical model for G-CSF control of neutrophils level in the blood Currently at: F. Hoffmann-La Roche Ltd. Basel, Switzerland
Akselrod-Ballin Ayelet 2007 R. Basri Multiscale multi-channel 3D segmentation and classification of MRI Currently at: Computational Radiology Laboratory, Harvard Medical School, Cambridge
Epshtein Boris 2007 S. Ullman fragment hierarchies and semantic features Currently at: Microsoft Corporation, Redmond
Kam Na'Aman 2007 A. Pnueli, I.R. Cohen a scenario based approach Currently at: Dept. of Biological Chemistry, Weizmann Institute, Rehovot
Lev-Tov Nissan 2007 D. Peleg Algorithms for geometric optimization problems in wireless networks Currently at: Computer Sci. Dept., Ben-Gurion University, Beer-Sheva
Apartsin Yevgenia 2006 Y. Kannai Characterization of concavifiable preferences in terms of demand Currently at: Dept. of Mathematics & Computer Sci., Weizmann Inst., Rehovot
Hasan Suwan Iyad Ali 2006 A. Brandt, V. Ilyin Multiscale methods in molecular dynamics Currently at: Fritz Haber Research Institute, Hebrew University, Jerusalem
Korman Amos 2006 D. Peleg, S. Kutten Labeling Schemes for Static and Dynamic Networks Currently at: CNRS & Paris Diderot - Paris 7, France
Seeman Tamar 2006 A. Regev Superalgebras and Young diagrams Currently at: Dept. of Mathematics, Bar Ilan University, Ramat Gan
Barak Boaz 2005 O. Goldreich Non-Black-Box techniques in cryptography Currently at: Harvard University
Biess Armin 2005 T. Flash Deterministic and stochastic computational models of spatial human arm movements Currently at: Dept. of Mathematics, Weizmann Institute, Rehovot
Klimov Alexander 2005 A. Shamir Applications of T-functions in cryptography
Leviathan Raya 2005 A. Pnueli Validation of translation to optimized machine code Currently at: Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot
Piterman Nir 2005 A. Pnueli Verification of infinite-state systems Currently at: Dept. of Computing, Imperial College London
Rodeh Yoav 2005 A. Pnueli Methods for verification and validation Currently at: Tel Hai College, Upper Galilee
Vidal-Naquet Michel 2005 S. Ullman The extraction and use of informative features for scale invariant recognition Currently at: Riken Brain Sci. Inst., Wako City, Japan
Angel Omer 2004 I. Benjamini, O. Schramm Uniform infinite planar maps Currently at: Dept. of Mathematics, Univ. of British Columbia, Vancouver
Carmel Liran 2004 D. Harel On the mathematics and algorithmics of electronic noses Currently at: Nat. Ctr. for Biotechnology Information, Bethesda
Efroni Sol 2004 I.R. Cohen, D. Harel reactive animation of thymocyte development Currently at: National Institutes of Health, Rockville
Iliesh Alexander 2004 T. Flash Motor adaptation of human arm movement to new environments Currently at: Dept. of Computer Sci. and Appl. Mathematics, Weizmann Institute, Rehovot
Maleva Olga 2004 G. Schechtman Nonlinear quotient mappings and other classes of regular mappings between finite-dimensional normed spaces Currently at: School of Mathematics, University of Birmingham, Edgbaston Birmingham B15 2TT, UK
Perelman Elena 2004 A. Joseph Quantization of hypersurface orbital varieties in simple Lie algebras of classical types Currently at: Dept. of Medical Epidemiology & Biostatics, Karolinska Institute, Stockholm
Bazlov Yuri 2004 A. Joseph Exterior powers of the adjoint representation of a simple Lie algebra Currently at: School of Math. Sciences, Univ. of London, London
Rosen Alon 2003 O. Goldreich, M. Naor The Round-Complexity of Black-Box Concurrent Zero-Knowledge Currently at: IDC, Herzelia
Lindell Yehuda 2003 M. Naor, O. Goldreich On the composition of secure multi-party protocols Currently at: Dept. Computer Sci., Bar Ilan University, Ramat Gan
Elkin Michael 2003 D. Peleg Constructions of (1+e,b)-spanners for general graphs Currently at: Dept. of Computer Science, Ben Gurion Univ., Beer-Sheva
Marelly Rami 2003 D. Harel the Play-In/Play-Out approach Currently at: IAF
Popa Constantin Cristian 2003 Z. Artstein Relaxation with measure-valued functions in dynamics and approximation Currently at: Deutsche Bank London, London
Zur Dror 2003 S. Ullman Filling-in of disrupted visual input-measurement, modeling, and visual aids
Sharon Eitan 2002 R. Basri Multiscale methods for efficient curve detection and hierarchical image segmentation Currently at: Video Surf Ltd.
Shtrichman Ofer 2002 A. Pnueli Efficient decision procedures for formal validation Currently at: Fac. Industr. Engineering & Management, Technion, Haifa
Zvavitch Artem 2002 G. Schechtman Finite dimensional subspaces of Lp Currently at: Dept. of Mathematical Sciences, Kent State Univ., Kent
Greenstein Jacob 2001 A. Joseph Studies in modules over affine Lie algebras Currently at: Dept. of Mathematics, University of California, Riverside
Gurevich Nadya 2001 S. Gelbart The Theta correspondence for spin7 Currently at: Dept. of Mathematics, Ben Gurion University, Beer-Sheva
Sali Erez 2001 S. Ullman Class-based visual recognition and reconstruction Currently at: Negevtech, Rehovot
Handzel Amir 2000 T. Flash Differential geometry in human motor control Currently at: Beyond Genomics, Inc., Waltham
Polterovich Iosif 2000 Y. Kannai, D. Michelson
Livne Oren E. 2000 A. Brandt Multiscale Eigenbasis algorithms Currently at: Scientific Computing & Imaging Institute, Univ. of Utah, Salt Lake City
Pinkas Benny 2000 M. Naor Communication preserving cryptographic protocols Currently at: Dept. of Computer Science, University of Haifa
Yusim (Ladhizansky) Karina 2000 L. Segel, H. Parnas Molecular level mathematical modeling of events underlying neurotransmitter release Currently at: Los Alamos National Laboratory, Los Alamos
Lev Bar-Or Ruth 1999 L. Segel Theoretical consideration of effector choice in immunology
Gorelik Maria 1999 A. Joseph Spectral topics in the quantum and super worlds Currently at: Dept. of Mathematics, Weizmann Institute, Rehovot
Lapid Erez 1999 S. Gelbart Multiplicities of cuspidal representations of SL(n) and period integrals of truncated Eisenstein Series Currently at: Inst. of Mathematics, Hebrew University, Jerusalem
Levin Daniel 1999 M. Solomyak On the negative discrete spectrum of the operator Laplacian to the power of 1-V on non-compact riemannian manifolds Currently at: Dept. of Mathematics, Technion, Haifa
Liebermann Dario 1999 T. Flash Intrinsic joint kinematic strategies for planning reaching and pointing movements towards 3-dimensional targets Currently at: Dept. of Physical Therapy, Tel Aviv University, Ramat Aviv
Novikov Dimitri 1999 S. Yakovenko Oscillation of functions defined by systems of ordinary differential equations Currently at: Dept. of Mathematics, Weizmann Institute, Rehovot
Reingold Omer 1999 M. Naor Pseudo-random synthesizers, functions and permutations Currently at: Dept. of Computer Sci. & Appl. Mathematics, Weizmann Institute, Rehovot
Shmuel Amir 1999 S. Ullman, A. Grinvald functional architecture and organization of the inter-connectivity as revealed by optical imaging Currently at: Dept. of Logothetis, Max Planck Institute, Tuebingen
Zeira Assaf 1999 S. Ullman Combining bottom-up and top-down processing in visual object recognition Currently at: P-cube, Herzliya
Cutzu Florin 1997 S. Edelman Viewpoint effects and visual similarity in object perception as a basis for understanding visual representation Currently at: Computer Science Dept., Indiana University, Bloomington
Freydin Boris 1997 H. Dym Topics in time varying interpolation
Olevskii Victor 1997 M. Solomyak Fourier and Schur multipliers Currently at: Mathematics & Statistics Dept., University of Edinburgh, Edinburgh
Roytvarf Nina 1997 Y. Yomdin Bernstein-type inequalities and finiteness properties of analytic functions Currently at: Dept. of Mathematics, Weizmann Institute, Rehovot
Singerman Eli 1997 D. Harel Results on propositional logics of programs Currently at: Computer Science Laboratory, SRI International, Menlo Park
Canetti Ran 1996 O. Goldreich Studies in secure multiparty computation and applications Currently at: Tel-Aviv University
Firsov-Khanin Raisa 1996 L. Segel Mathematical modeling of events underlying neurotransmitter release
Fishman Michael 1996 L. Segel Modeling of the cellular/molecular mechanisms underlying observed immune phenomena Currently at: Los Alamos National Laboratory, Los Alamos
Hirst Tirza 1996 D. Harel Topics on infinite recursive structures Currently at: Dept. of Computer Sci., Jerusalem College of Technology, Jerusalem
Shmoish Michael 1996 H. Dym Generalized inverse spectral problems for Jacobi matrices and discrete canonical equations, bezoutians and nonlinear lattice equations Currently at: Dept. of Computer Science. Technion. Haifa.
Arian Eyal 1995 S. Taasan Multigrid methods for optimal shape design governed by elliptic systems Currently at: The Boeing Company, Seattle
Kesten Yonit 1995 A. Pnueli Refinement and verification of reactive and hybrid systems Currently at: Dept. of Computer Sci. & Appl. Mathematics, Weizmann Institute, Rehovot
Mehr-Grossman Ramit 1995 L. Segel, A. Globerson Mathematical modelling of T lymphocyte development in the thymus Currently at: Faculty of Life Sciences, Bar Ilan University, Ramat Gan
Moses Yael 1995 S. Ullman Generalization to novel images Currently at: Interdisciplinary Center, Herzliya
Vigodner Alexander 1995 Z. Artstein dynamical systems approach
Wiener Zvi 1995 Y. Yomdin Qualitative and quantitative analysis of differential equations through their formal solutions Currently at: Finance Dept., Hebrew University, Jerusalem
Dvir Yoav 1994 A. Regev On the Kronecker product of Sn characters
Dym Jonathan 1994 A. Brandt Multilevel methods for early vision Currently at: (Deceased)
Gurevich Irina 1994 T. Flash Strategies of motor adaptation to external loads during planar horizontal two-joint arm movements Currently at: Achva Academic College, Beer Tuvia
Ben-Av (Barchilon) Mercedes 1993 D. Sagi The role of similarity, proximity and attention in visual grouping Currently at: Achva Academic College
Akerib Avidan 1993 S. Ruhman, S. Ullman Associative real time vision machine Currently at: NeoMagic Israel Ltd., Netanya
Hinich Vladimir 1993 A. Joseph Nilpotent orbits in semisimple Lie algebras and singularities of their closures Currently at: Dept. of Mathematics, University of Haifa, Haifa
Lapidot Dror 1993 A. Shamir Parallel interactive proofs and non-interactive zero-knowledge Currently at: Decell Technologies Ltd., Rehovot
Nabutovsky Alexander 1993 S. Kiro algebraic hypersurfaces, knots Uwith thick ropes and semi-linear elliptic boundary value problems Currently at: Dept. of Mathematics, University of Toronto, Toronto
Ben-Av Radel 1992 A. Brandt Acceleration methods in MC simulations Currently at: Opal, Nes Ziona
Biham Eli 1992 A. Shamir Differential cryptanalysis of iterated cryptosystems Currently at: Computer Science Dept., Technion, Haifa
Harnevo Linda 1992 Z. Agur Mathematical models for the dynamics of gene amplification, its effect on the development of drug resistance, mechanism and optimal treatment methods Currently at: Global Medical Networks Israel Ltd., Or-Yehuda
Henis Ealan 1992 T. Flash Strategies underlying arm trajectory modification during reaching toward visual targets Currently at: I.B.M.
Reznikov Andrei 1992 S. Gelbart The Eisenstein matrix, Fourier coefficients of automorphic forms, and existence of cusp forms in rank one symmetric spaces Currently at: Dept. of Mathematics, Bar Ilan University, Ramat Gan
Yavneh Irad 1992 A. Brandt Multigrid techniques for incompressible flows Currently at: Dept. of Computer Science, Technion, Haifa
Bialy Michael 1991 Y. Yomdin Topological and variational properties of invariant Tori of Hamiltonian systems with two degrees of freedom Currently at: Dept. of Pure Mathematics, Tel Aviv University, Ramat Aviv
Cordova Nicolas 1991 L. Segel from molecular motors to pseudopod extension
Guissin Avraham 1991 S. Ullman Visually-guided navigation using velocity fields Currently at: In private industry
Lichtenstein Orna 1991 A. Pnueli Decidability, completeness, and extensions of linear time temporal logic Currently at: Holon Academic Institute of Technology, Holon
Maler Oded 1991 A. Pnueli infinite behavior, learnability and decomposition Currently at: VERIMAG, Gieres
Perets Gadi 1991 A. Joseph The embedding of minimal primitive quotients of semisimple Lie algebras in Weyl algebras and non-holonomic modules Currently at: Institut de Mathematiques, Universite Pierre et Marie Curie, Paris
Schrift (Wierzba) Avital 1991 A. Shamir Randomness and hardness of bit-Sources Currently at: ELTA Electronic Industries, Ashdod
Shapira Jerucham 1991 S. Ullman A pictorial approach to object classification and recognition across shape changes Currently at: I-Metrics Company
Basri Ronen 1991 S. Ullman The recognition of 3-D solid objects from 2-D images Currently at: Dept. of Appl. Mathematics & Computer Sci., Weizmann Institute, Rehovot
Dick Miri 1990 S. Ullman, D. Sagi Parallel and serial processes in motion detection Currently at: International Summer Science Institute, Australia
Kelemen Matei 1990 Y. Kannai, I. Horowitz Quantitative feedback approach to distributed linear systems Currently at: (Deceased)
Levy Jacob 1990 E. Shapiro Concurrent prolog and related languages Currently at: Sun Microsystems, Palo Alto
Lustig Cornel 1990 L. Segel models and mechanisms
Soferman Ziv 1990 A. Shamir, A. Brandt Computerized optical microscopy Currently at: Independent advisor
Tamir Boaz 1990 S. Gelbart On L-functions and intertwining operators for unitary groups
Drusinsky Doron 1989 D. Harel On synchronized statecharts Currently at: Time Rover, Inc., Cupertino
Weiss George 1989 Z. Artstein Well-posedness, stability and asymptotic behavior of infinite dimensional linear systems Currently at: Engineering Dept, Tel Aviv University
Amit Yali 1988 M. Berger Approximations to diffusions and their ergodic properties Currently at: Dept. of Statistics, University of Chicago, Chicago
Dori Dov 1988 A. Pnueli S. Ullman Detection and interpretation of dimensions in machine drawings Currently at: Faculty of Industrial Engineering and Management, Technion, Haifa
Klein Shmuel-Tomi 1988 A. Fraenkel Compression and coding in information retrieval systems Currently at: Dept. of Mathematics & Computer Sci., Bar Ilan University, Ramat Gan
Felzenbaum Alexander 1987 A. Fraenkel A geometrical approach to covering systems
Barabash (Rosenson) Marita 1986 N. Liron The non-Newtonian approach to the muco-ciliary transport Currently at: Achva Academic College, Beer Tuvia
Alpay Daniel 1986 H. Dym Reproducing Kernel Krein spaces of analytic function and inverse scattering
Iacob Andrei 1986 H. Dym On the spectral theory of a class of canonical systems of differential equations Currently at: Mathematical Reviews, Ann Arbor
Khait Alexander 1986 L. Segel some roles of size and growth rate Currently at: Jerusalem College of Engineering, Jerusalem
Kogan Yaakov 1986 Z. Artstein Bifurcation of extremals in optical control Currently at: Department of Mathematics and Statistics, University of Maryland Baltimore County
Liao Yin-Kuei 1986 I. Horowitz Quantitative synthesis of with plants under various constraints Currently at: Chung-Shan Institute of Science and Technology, Lung-Tan, Taiwan
Peleg David 1986 D. Harel The schematology and logic of concurrent programs Currently at: Dept. of Appl. Mathematics & Computer Sci., Weizmann Institute, Rehovot
Tintarev Kyril 1986 Y. Kannai On representation, asymptotics and supports for the solutions of partial differential equations with analytical coefficients Currently at: Dept. of Mathematics, Uppsala University, Uppsala
Bai Dov 1985 A. Brandt Multilevel techniques for the solution of inverse problems and local mesh refinement Currently at: Software Engineer II, Become Inc., Mountain View, CA
Cohen-Sala Nir 1985 I. Gohberg On spectral analysis and factorization of rational matrix functions Currently at: Dept. of Applied Mathematics,University of Campinas, Campinas
Leizarovitz Arie 1985 Z. Artstein Control problems on infinite horizon Currently at: Dept. of Mathematics, Technion, Haifa
Rosemberg Flavia 1985 S. Ruhman Coordination in distributed systems organized around a common bus Currently at: MABAT, Yehud
Yaniv Oded 1985 I. Horowitz Quantitative synthesis of uncertain cascaded multi input output (CMIO) and MIO linear feedback systems Currently at: Dept. of Electrical Engineering Systems, Tel Aviv University, Ramat Aviv
Zarhy-Sherman Rivka 1985 A. Pnueli, D. Harel On variants of propositional program logics Currently at: ORBOT Instruments, Yavneh
Scherson Isaac 1984 S. Ruhman Multioperand associative processing and application to tomography and computer graphics Currently at: Dept. of Information and Computer Science, University of California, Irvine
GOLUBEV BORIS 1984 I. Horowitz Nonlinear feedback systems with large uncertainties Currently at: (Deceased)
KOLTRACHT ISRAEL 1984 I. Gohberg On resolving of integral equations with special and discrete analogues Currently at: (Deceased)
TADMOR GILEAD 1984 Z. Artstein The structure of hereditary and nonlocal systems Currently at: Electrical & Computer Engineering Dept., Northeastern University, Boston
Edelstein-Keshet Lea 1982 L. Segel Modelling biological growth with fungi and plants as examples Currently at: Dept. of Mathematics, University of British Columbia, Vancouver
Shuchman Vladimir 1982 Y. Kannai Degenerate ordinary differential equations in Hilbert spaces Currently at: Inst. de Matematica, Univ. Federal do Rio de Janeiro, Rio de Janeiro
NOVICK-COHEN AMY 1982 L. Segel Non-linear aspects of the Cahn-Hilliard equation Currently at: Dept. of Mathematics, Technion, Haifa
Kiro Shmuel 1981 Y. Kannai On the existence of holomorphic and real analytic solutions of linear partial differential equations Currently at: Advisor, private industry
BOSHERNITZAN MICHAEL 1981 H. Dym An extension of Hardy's class L of ``order of infinity" Currently at: Dept. of Mathematics, Rice University, Houston
HARDT (LOEB) SHOSHANA 1981 L. Segel Diffusion processes in structured media Currently at: Bell Communications Research, Morristown
LEINWAND SANY 1981 T. Lamdan Automatic design verification and test generation for digital systems
YAVOR ELIC 1981 S. Karlin Topics in total positivity. Tchebycheff systems and maximally oscillating functions Currently at: ELTA - Israel Aircraft Industries
Dinar Nathan 1980 A. Brandt Fast methods for the numerical solutions of boundary value problems Currently at: Dept. of Appl. Mathematics & Computer Sci., Weizmann Institute, Rehovot
Dolev Danny 1980 E. Shamir A comparative study of synchronization by parallel control systems Currently at: School of Computer Sci. & Engineering, Hebrew University, Jerusalem
FALKOWITZ - HALPERN MEIRA 1980 L. Segel Diffusion in unstirred bulk
KARAKOSTAS GEORGE 1980 Z. Artstein Asymptotic behavior of causal operator equations Currently at: Dept. of Mathematics, The University of Ioannina, Ioannina
LEVIN SOFIA 1980 I. Gohberg Asymptotic properties of Toeplitz matrices Currently at: Israel Aircraft Industries
Neuman Linda 1979 S. Amitzur Three topics in the theory of non-commutative rings Currently at: EL-OP Electro Optics Industries, Rehovot
Yesha Yaakov 1979 A. Fraenkel Theory of annihilation games Currently at: Computer Science Dept., University of Maryland, Baltimore
WANG TE-SHING 1979 I. Horowitz Quantitative synthesis of multiple loop feedback systems with large plant uncertainty
Dershowitz Nachum 1979 Z. Manna The evolution of programs Currently at: School of Computer Science, Tel Aviv University, Ramat Aviv
Attar Rony 1978 A. Fraenkel Automatic feedback in full-text retrieval systems by local clustering Currently at: In banking, Sydney
KRAVITSKY NAFTALI 1978 H. Dym On the spectral theory of the string equation Currently at: (Deceased - 10.3.1998)
Rosenbaum Patrick 1978 I. Horowitz Reduction of the cost of feedback in systems with large parameter uncertainty
Rubinstein Isaac 1978 L. Segel Theoretical models for electrodialysis Currently at: Institute for Desert Research, Ben Gurion University, Sde Boker
FARKASH (ROSENGARTEN) SHOSHANA 1977 S. Karlin Equilibrium behavior of population genetic models with partial assortative mating Currently at: (Deceased)
KARIV ODED 1977 S. Even An O(n 2.5) algorithm for finding a maximum matching in a general graph Currently at: Lawyer, office in Tel Aviv
SHAPIRO AHARON 1977 I. Horowitz Synthesis of oscillating adaptive systems
ISRAEL MOSHE 1976 A. Ben-Menahem Static and dynamic response of the earth to seismic events Currently at: RAFAEL, Kiriat Bialik
SHILOAH YOSEF 1976 S. Even Linear and planar arrangements of graphs Currently at: I.B.M., Haifa
ZEILBERGER DORON 1976 H. Dym New approaches and results in the theory of discrete analytic functions Currently at: Dept. of Mathematics, Rutgers University, New Brunswick
RABBIE HAROLD 1975 I. Horowitz Design techniques for time-varying control systems with plant parameter ignorance Currently at: NextHop Technologies, Mountain View
SHAKED URI 1975 I. Horowitz Synthesis of multivariable linear, time-invariant, feedback control systems Currently at: Dept. of Electrical Engineering Systems, Tel Aviv University, Ramat Aviv
CARMELI DORIT 1974 S. Karlin Some population genetic models combining artificial and natural selection pressures Currently at: Stanford Research Institute, Palo Alto
CWIKEL MICHAEL 1974 Y. Sagher Some results in the Lions-Peetre interpolation theory Currently at: Dept. of Mathematics, Technion, Haifa
GAVRIL FANICA 1974 S. Even Effective algorithms for minimum coloring maximum clique and recognition of some families of graphs Currently at: RAFAEL, Kiriat Bialik
INTRATOR YAACOV 1974 A. Brandt Transportation problems
PINKUS ALLAN 1974 S. Karlin Some topics in approximation theory Currently at: Dept. of Mathematics, Technion, Haifa
RINOTT YOSEF 1974 S. Karlin Some multivariate concepts of montonicity, convexity and total positivity with application to probability inequalities Currently at: Dept. of Statistics, Hebrew University, Jerusalem
Accad Yigal 1973 C.L. Pekeris Ocean Tides, Gravity Tide and Bodily Tide in the Earth
SHAKI AHIEZER 1973 A. Fraenkel Simultaneous approximation to algebraic numbers by rationals Currently at: Dept. of Mathematics, Bar Ilan University, Ramat Gan
Sidi Marcel 1973 I. Horowitz Synthesis of feedback systems with large plant ignorance for prescribed time-domain tolerances Currently at: Dept. of Electrical Engineering, Technion, Haifa
ROSENMAN MARTIN 1972 A. Ben-Menahem Reconstruction of the seismic source from the spectrums of its far radiation field
Humi Mayer 1970 B. Kaufman Factorization of second order operators and their applications Currently at: Mathematical Sciences Dept., Worcester Polytechnic Institute, Worcester
SIMHI MENASHE 1969 S. Ruhman High speed assembly line matrix processor Currently at: Independent advisor, Givataim
FRIEDMAN MENAHEM 1967 J. Gillis Solutions of equations in hydrodynamics
Pnueli Amir 1967 C.L. Pekeris Solution of tidal problems in simple basins Currently at: Dept. of Computer Sci. & Appl. Mathematics, Weizmann Institute, Rehovot
BOROSH ITZHAK 1966 A. Fraenkel Hausdorff dimension of sets arising in Diophantine approximations Currently at: Mathematics Dept., Texas A&M University, College Station
BRANDT ACHIEZER 1965 J. Gillis Solutions of equations in hydrodynamics and magneto hydrodynamics Currently at: Dept. of Computer Sci.& Appl. Mathematics, Weizmann Institute, Rehovot
KORNFELD PNINA 1965 Z. Alterman Propagation of a seismic pulse within an elastic fluid sphere
FRANKOWSKI KRZYSZTOF 1964 C.L. Pekeris Heat transport between parallel plates in a rarefied gas of rigid sphere molecules Currently at: Dept. of Computer Science/Engineering, University of Minnesota, Minneapolis (Retired)
LIFSON HANNA 1964 C.L. Pekeris P states of Helium Currently at: Faculty of Agriculture, Hebrew University, Rehovot (Emerita)
Abramovici Flavian 1964 C.L. Pekeris Propagation of seismic pulses in a layered solid Currently at: Dept. of Applied Mathematics, Tel Aviv University, Ramat Aviv
FINKELSTEIN LEJB 1962 C.L. Pekeris Transport phenomena in rarefied gases
SHIMSHONI MICHAEL 1962 J. Gillis Numerical solution of the Navier-Stokes equations in order to obtain exact information on the development of the boundary layer and the flow in it Currently at: (Deceased)
GINZBURG AVIHU 1961 C.L. Pekeris Geophysical studies in the central and northern coastal plains and the western Emeq Currently at: Dept. of Geophys. & Planetary Sci., Tel Aviv University, Ramat Aviv (Emeritus)
NEUMANN LINDA S. Amitzur Three topics in the theory of non-commutative rings Currently at: EL-OP Electro Optics Industries, Rehovot