Sivan Toledo: Graduate Students

• Yuval Birman
• Nadav Zemach
• Tomer Pelleg

• Eitam Arnon (joint supervision with Orr Spiegel)
• Neta Tsur (joint supervision with Orr Spiegel)

• Aviad Zuck
  Co-design of solid- state drives and operating systems, 2014
  
• Alex Druinksy
  Fast and Reliable Eigensolvers and Factorizations for Symmetric-Indefinite Matrices, 2014
  
• Haim Avron
  Advanced algorithmic techniques in numerical linear algebra: hybridization and randomization, 2010
  
• Gil Shklarski
  Combinatorial preconditioners for finite element problems and other contributions to numerical linear algebra,2008
• Dror Irony
  Advances in direct algorithms for solving sparse symmetric linear systems, 2005
• Doron Chen
  Algebraic and Algorithmic Applications of Support Theory, 2005

1. Shahaf Gargir
   Parallel-in-Time Kalman Smoothing Using Orthogonal Transformations, 2026
2. Ophir Uziel
   Algorithms for Nonlinear Mixed-Integer Trilateration, 2025
3. Gal Wiernik (main supervisor is Prof. Oded Schwartz of the Hebrew University)
   Alternative Basis Matrix Multiplication is Fast and Stable, 2024
4. Eyal Waserman
   A Mixed Integer Least-Squares Formulation of the GNSS Snapshot Positioning Problem, 2022
5. Tal Avinari
   Clock Modeling and Synchronization for Radio Time-of-Arrival Localization Systems, 2022
6. Ofir Cohen
   An Evaluation of Potential Compute Platforms for Picosatellites, 2021
7. Yaniv Rubinpur
   High-Performance GPU and CPU Signal Processing for a Reverse-GPS Wildlife Tracking System
8. Hagai Barmaz (joint supervision with Prof. Izhar Lavner of Tel-Hai College)
   Algorithms for Automatic Segmentation of Trill Vocalizations in Birds, 2019
9. Amit Waisel
   Parallel Algorithms for Evaluating Matrix Polynomials, 2019
10. Shai Mendel
    A System to Characterize Battery Behavior in Miniature Wildlife Tags Reveals Correctable Reliability Weaknesses, 2019
11. Andrey Leshenko
    Modulation and Signal Processing Tradeoffs for Reverse-GPS Wildlife Localization Systems, 2018
12. Tal Halpern
    Fast and Robust Algorithms for Large Scale Streaming PCA, 2017
13. Eyal Itkin (main supervisor is Prof. Avishai Wool)
    A Security Analysis and Revised Security Extension for the Precision Time Protoco, 2016
    
14. Inon Peled
    Communication-Avoiding Symmetric-Indenite Matrix Factorization, 2016
    
15. Vadim Stotland
    High-Performance Algorithms for Computing the Sign Function of Triangular Matrices, 2016
    
16. Yogev Vaknin
    Proper Timed I/O: High-Accuracy Real-Time Control for Conventional Operating Systems, 2016
17. Dina Bilchinsky
    Constructing Symmetric Diagonally Dominant Approximations using Constrained Random Probes, 2016
18. Almog Benin (joint supervision with Prof. Eran Tromer)
    Secure Association for the Internet of Things, 2015
19. Oren Kishon
    The ATLAS Wildlife Localization System: System Design and Implementation, 2015
20. Michael Gendelman
    Streaming for Memory-Constrained Devices, 2014
    
21. Ohad Shai (main supervisor is Prof. Dror G. Feitelson of the Hebrew University)
    Heuristics for Resource Matching in Intel's Compute Farm, 2014
    
22. Evgeny Budilovsky
    Kernel Based Mechanisms for High Performance I/O, 2013
    
23. Sasha AlperovichOn the long-term behavior of the Lanczos process, 2011
     
    (Sabbatical at MIT, fall 2007-fall 2009)
     
24. Igal Zak (main supervisor is Prof. Dror G. Feitelson of the Hebrew University)
    Persistent shared heap file system (PSHFS), 2008
    
25. Aviad Zuck
    NANDFS: an efficient flash file system for RAM-constrained systems, 2008
    
26. Itay Malinger
    The performance characteristics of logical-block-address flash-memory storage devices, 2007
27. Uri Unger
    An experimental evaluation of combinatorial preconditioners, 2007
28. Alex Druinsky
    Factoring Matrices with a Tree-Structured Sparsity Pattern, 2007
29. Anatoli (Tuli) Uchitel
    A Supernodal Out-of-Core Sparse Gaussian-Elimination Method, 2007
30. Nir Shasha
    Incremental Garbage Collection for an Object Heap on Flash Memory, and a Memory Model for Flash, 2007
31. Husam Saadi (Joint supervision by Ori Shalev)
    A comprehensive survey of transactional memory, 2007
    
32. Alex Vyssokii
    Supporting arbitrary graphs in the link structure of file systems, 2006
33. Eitan Ben-Amos
    Cilk for CC-NUMA Machines, 2006
34. Avi Ben-Aroya
    Competitive Analysis of Flash-Memory Algorithms, 2006
35. Michal Spivak
    Storing a transactional object heap on flash memory 2005
36. Eran Bida
    An automatically-tuned sorting library, 2005
37. Haim Avron
    Parallel unsymmetric-pattern multifrontal sparse LU with column preordering, 2005
38. Eran Gal
    Algorithms and data structures for flash memories, December 2004
39. Omer Meshar
    An out-of-core sparse symmetric indefinite factorization method, 2004
40. Elad Rozin
    Locality of reference in sparse Cholesky factorization methods, 2004
41. Gil Shklarski
    Parallel and fully recursive multifrontal sparse cholesky, 2003
42. Vladimir Rotkin
    Out-of-Core Sparse Matrix Factorizations, 2003
43. Eyal Baruch
    Communication-Efficient Dense Linear Algebra in Cilk, January 2002
44. Igor Brainman
    Nested-dissection orderings for sparse LU with partial pivoting, 2001
45. Yaron Shoham
    Parallel Randomized Best-First Search, 2001
46. Doron Chen
    Analysis, Implementation, and Evaluation of Vaidya's Preconditioners, 2001
47. Dror Irony
    A 3D Communication-Efficient Dense Linear Solver, 2000

Last updated July 2026.