2017 PHD Theses

• PHD-2017-01 Netanel Raviv (Tuvi Etzion): Subspace codes and distributed storage codes
• PHD-2017-02 Iddo Bentov (Eli Ben-Sasson): Bitcoin and Secure Computation with Money
• PHD-2017-03 Jonathan Yaniv (Seffi Naor): Job Scheduling Mechanisms for Cloud Computing
• PHD-2017-04 Yuri Meshman (Eran Yahav): Extrapolation and Synthesis for Relaxed Memory Models
• PHD-2017-05 Nimrod Partush (Eran Yahav): Differential Program Analysis
• PHD-2017-06 Adi Sosnovich (Orna Grumberg): Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification
• PHD-2017-07 Ariella Voloshin (Shmuel Zaks and Hadas Shachnai): Flexible Resource Allocation for Network Problems
• PHD-2017-08 Gregory Schwartzman (Keren Censor-Hillel): Algorithms for Environments with Uncertainty
• PHD-2017-09 Dana Drachsler Cohen (Eran Yahav): Exact Programming by Example
• PHD-2017-10 David Sainz (Roy Friedman): Efficient Information Transfer Leveraging Wireless D2D
• PHD-2017-11 Moshe Gabel (Assaf Schuster and Daniel Keren): Communication-efficient Algorithms for Distributed Stream Mining
• PHD-2017-12 Rotem Manor (Alfred M. Bruckstein): Gathering and Guidance of Multi-Agent Systems
• PHD-2017-13 Alon Shtern (Ron Kimmel): Shape Correspondence using Spectral Methods and Deep Learning
• PHD-2017-14 Vardan Papyan (Michael Elad): Global Versus Local Modeling of Signals
• PHD-2017-15 Omri Azencot (Mirela Ben-Chen): Operator Representations in Geometry Processing
• PHD-2017-16 Ami Paz (Keren Censor-Hillel): Distributed Distance Computation and Related Topics
• PHD-2017-17 Aviv Yehezkel (Reuven Cohen): Generalizations of the Cardinality Estimation Problem and Applications to Computer Networks
• PHD-2017-18 Mira Shalah (Gill Barequet): Formulae and Growth Rates of Animals on Cubical and Triangular Lattices
• PHD-2017-19 Michal Horovitz (Eitan Yaakobi and Tuvi Etzion): Coding Schemes for Non-Volatile Memories