Past and Present Students
of
- Arnon Avron
- Ofer
Arieli, "Methods of Reasoning with Inconsistency
through Bilattices", M.Sc., 1992
- Ofer Arieli, "Applications of Bilattices", Ph.D., 1999
- Amnon Eden, "Topics in Machine Learning", M.Sc., 1994
- Benny Fridman, "Categorial Unifaction Grammar and their
Implementation in Prolog", M.Sc., 1991
- Guy Gildor, "Set Theory in Fuzzy Logic", M.Sc., 2005
- Iddo Lev, "Inconsistency-Adaptive Logics", M.Sc., 2000
- Dani Livne, "The Strength of Logical Systems and their Implementation", M.Sc., 2000
- Lior Mittelman, M.Sc. candidate
- Sasson Nada, Stability, "Sequentiality and Demand Driven Computation in Dataflow", M.Sc., 1990
- Nimrod Rivier, "Topics in Logics and Databases", M.Sc., 1997
- Yaron Samuha, "Systems For Teaching Students", M.Sc., 2003
- Oren Spector, "Annotated Logics and Knowledge Bases", M.Sc., 1999
- Dan Touitou, "Using Three Valued Logic in Program Verification", M.Sc., 1992
- Anna Zamansky, Ph.D. candidate
- Doron Yaari, M.Sc. candidate
- Nachum Dershowitz
- Kfir Bar, "Arabic Disambiguation", M.Sc. candidate
- Udi Boker, "Comparing Computation Models", M.Sc., 2004
- Udi Boker, Ph.D. candidate
- Odelia Dayan, "Automatic Classification of Proper Nouns Using Machine Learning Algorithms", M.Sc., 2005
- Yulik Feldman, "Multi-threaded Satisfiability Checking", M.Sc., 2005
- Daher Kaiss, "Saturation-Based Satisfiability Checking",
M.Sc., 2005
- Jacob Katz, "Model Checking Using QBF Solvers", M.Sc., 2006
- Alexander Nadel, "Verification", Ph.D. candidate
- Ely Pinchover, "Logic-Based Virtual Reality", Ph.D. candidate
- Iddo
Tzameret, "Kruskal-Friedman Gap Embedding Theorems over Well-Quasi-Orderings", M.Sc., 2002
- Iddo
Tzameret, "Complexity of Proofs", Ph.D. candidate
- Students
at other institutions
- Yoram
Hirshfeld
- Alon Brook, "Algorithmic Information Theory",
M.Sc., 2004
- Alexander
Rabinovich
- Yotam Abramson, "Decidability of split equivalence",
M.Sc., 1998
- Shahar Maoz, "Infinite Hierarchy of Temporal Logics over
Branching Time Models", M.Sc., 2000
- Menachem Vinokurov, "Fully Abstract Semantics for Nets of
Asynchronous Agents", M.Sc., 1998
- Igal Zak, "Verification of Security Protocols",
M.Sc. candidate
- Refael Merovich, M.Sc. candidate
- Amit Shomrat, M.Sc. candidate
- Aharon Abadi, M.Sc. candidate
- Greta Yorsh, Ph.D. candidate
- Mooly Sagiv
- Hila Cohen-Fratal, "Register Renaming", M.Sc. candidate
- Nurit Dor,
"Detecting Memory Errors via Static Pointer Analysis", M.Sc., 1999
- Nurit Dor,
"Static Detection of all Errors", Ph.D. candidate
- Guy Erez, M.Sc. candidate
- Tal Lev-Ami,
"TVLA: A System for implementing Static Analysis", M.Sc., 2000
- Roman
Manevich, "Efficient Data Structures for Static Analysis", M.Sc.
candidate
- Ronny Morad, M.Sc. candidate
- David Oren, "Subpath Profiling", M.Sc., 2002
- Michael Pan,
"Heap Profiling for Java Programs", M.Sc., 2001
- Ran Shaham,
"Automatic
Removal of Array Memory Leaks in Java", M.Sc., 1999
- Ran Shaham,
"Memory Management in Java using Static Analysis", Ph.D. candidate
- Alex
Warshavsky, "Analyzing Java Components", M.Sc., 2001
- Eran Yahav,
"Analyzing Multithreading in Java", Ph.D. candidate
- Greta
Yorsh,
"Logical Characterization of Canonic Abstraction", M.Sc.
- Greta
Yorsh,
Ph.D. Candidate
- Students
at other institutions
- Boaz
Trakhtenbrot
- Amiram Yehudai
- Doron Friedman, "Knowledge-Based
Formalization of Cinematic Expression and its Application to
Animation",
Ph.D., 2003