Current Students

of

Tel-Aviv University's Logic Group

• Arnon Avron
• Anna Zamansky, Ph.D. candidate
• Nachum Dershowitz
• Kfir Bar, "Disambiguation", M.Sc. candidate
• Udi Boker, Ph.D. candidate
• Jacob Katz, "Model Checking Using QBF Solvers", M.Sc. candidate
• Alexander Nadel, "Verification", Ph.D. candidate
  
• Ely Pinchover, "Logic-Based Virtual Reality", Ph.D. candidate
• Iddo Tzameret, "Complexity of Proofs", Ph.D. candidate
• Yoram Hirshfeld
• Alexander Rabinovich
• Igal Zak, "Verification of Security Protocols", M.Sc. candidate
• Mooly Sagiv
• Hila Cohen-Fratal, "Register Renaming", M.Sc. candidate
• Nurit Dor, "Static Detection of all Errors", Ph.D. candidate
• Guy Erez, M.Sc. candidate
• Roman Manevich, "Efficient Data Structures for Static Analysis", M.Sc. candidate
• Ronny Morad, M.Sc. candidate
• Ran Shaham, "Memory Management in Java using Static Analysis", Ph.D. candidate
• Eran Yahav, "Analyzing Multithreading in Java", Ph.D. candidate
• Greta Yorsh, "Logical Characterization of Canonic Abstraction", M.Sc. candidate
• Boaz Trakhtenbrot
• Amiram Yehudai