- Jieh
Hsiang
(項潔), Ph.D., Topics in Automated Theorem Proving and
Program Generation, University
of Illinois, 1983 (David Plaisted, co-advisor); formerly
Professor, State University of New York - Stony Brook; Dean of Science
and Technology, National
Chi-Nan University; Distingished Professor, National
Taiwan University.
- Feipei Lai (賴飛羆),
M.A., University of Illinois,
1984; Professor, National Taiwan
University.
- Steven Greenbaum, Ph.D.,
Input Transformations and Resolution Implementation
Techniques for Theorem Proving in First-Order Logic, University of Illinois, 1986 (committee chair; David Plaisted,
advisor); formerly with Hewlett-Packard.
- Leo Bachmair,
Ph.D., Proof Methods for Equational Theories, University of Illinois,
1987; Professor, State
University of New York - Stony Brook (retired).
- Mitsuhiro
(Mitsu) Okada, Postdoctoral student, University of Illinois,
1987-8; formerly Professor, Concordia University;
Professor, Keio
University.
- G. Sivakumar (சிவகுமார்),
Ph.D., Proofs and
Computations in Conditional Equational Theories, University of Illinois,
1988; formerly professor, University of Delaware;
Professor, India
Institute of Technology -- Bombay.
- Yuh-jeng Lee, Ph.D., Debugging
Logic Programs Using Executable Specifications, University of Illinois,
1988; formerly Professor, Naval Postgraduate School; Senior Financial Economist,
Federal Reserve Bank of Philadelphia.
- N.
Alan Josephson, Ph.D., Implementation Techniques for
Rewriting and Narrowing, University
of Illinois, 1989; formerly with Texas Instruments and
EMC Global Services;
senior data systems manager, Newmark Knight Frank.
- Naomi
Lindenstrauss, Ph.D., Search
Strategies for Solutions to Goals of Horn Clause Programs
and Rewrite Programs, Hebrew University, 1991; formerly
Instructor, Hebrew University.
- Subrata
Mitra, Ph.D., Semantic
Unification for Convergent Systems, University of Illinois,
1994; formerly with IBM; Partner, Accel Partners.
- E.
Castedo Ellerman, Honors project, University of Illinois,
1995; previously with Bear Stearns, Tellme, and Microsoft;
Consultant.
- Charles
Hoot, Ph.D., Termination of
Non-Simple Rewrite Systems, University of Illinois,
1996; previously Professor, Oklahoma City University;
Associate Professor, Northwest Missouri State University.
- Mitchell (Mitch) Harris,
M.S., Ordered
Construction of Combinatorial Objects, University of Illinois,
1998; continued for Ph.D.
- Iddo Tzameret,
M.Sc., Kruskal-Friedman
Gap Embedding Theorems over Well-Quasi-Orderings, Tel Aviv University,
2002; continued for Ph.D.
- Ely
Pinchover, M.Sc., Automatic
Inductive Synthesis of Equational Programs and Proving
Correctness using Completion (in Hebrew), Bar-Ilan University,
2002; Head of software
company.
- Mitchell (Mitch) Harris,
Ph.D., Thresholds
and Symmetries in Propositional Formulas, University of Illinois,
2002; formerly with Partners HealthCare and Harvard Medical
School.
- Udi Boker,
M.Sc., Comparing
Computational Power, Tel
Aviv University, 2004; continued for Ph.D.
- Yulik
Feldman, M.Sc., Parallel
Multithreaded Satisfiability Solver: Design and
Implementation, Tel
Aviv University, 2005; Senior Software
Developer, Intel Corp., Haifa.
- Odelia Dayan, M.Sc., Automatic
Classification of Proper Nouns Using Machine Learning
Algorithms (in Hebrew), Tel Aviv
University, 2005; formerly with Prime Minister's Office.
- Daher Kaiss,
M.Sc., Intersection-Based
Methods for Boosting Satisfiability Testing Using Boolean
Rings, Tel Aviv
University, 2005; team leader, Intel Corp.,
Haifa.
- Jacob Katz, M.Sc., Model
Checking with Quantified Boolean Formulas, Tel Aviv University,
2005; Senior Staff Software Engineer, Intel Corp.,
Haifa.
- Kfir Bar,
M.Sc., An
Arabic To English Example-Based Translation System, Tel Aviv University,
2007; continued for Ph.D.
- Udi
Boker, Ph.D., The
Influence
of Domain Interpretation on Computational Models, Tel Aviv University,
2009; formerly Lady Davis
postdoc at Hebrew University and at IST
Austria; Senior Lecturer, Reichman University, Herzliya.
- Iddo Tzameret,
Ph.D., Studies
in
Algebraic and Propositional Proof Complexity, Tel Aviv University,
2009; formerly postdoc at Institute
of Mathematics of the Academy of Sciences of the Czech
Republic, Prague, and at the Institute for Theoretical
Computer Science, Tsinghua University, Beijing, China; Assistant
Professor, Tsinghua University, Beijing, China;
Professer, Royal Holloway, London, UK; Professor, Imperial College, London, UK.
- Alexander
Nadel, Ph.D., Understanding
and
Improving
a
Modern
SAT
Solver, Tel Aviv
University, 2009; Researcher, Intel Corp.,
Haifa.
- Alexander
(Alex) Zhicharevich, M.Sc, Tools
to Aid OCR of Hebrew Character Manuscripts, Tel Aviv University,
2012; Principal Data Scientist, Intuit.
- Andrey Rosenberg
(Stolyarenko), M.Sc., Using
SIFT Descriptors for OCR of Printed Arabic, Tel Aviv University,
2012; technical
solutions consultant, Google.
- Tamar Lavee, M.Sc., Computer
Analyses of the Dead Sea Scroll Manuscripts, Tel Aviv University,
2013; IBM, Israel.
- Kfir Bar,
Ph.D., Deriving
Paraphrases for Highly Inflected Languages, with a Focus on
Machine Translation, Tel Aviv University,
2014; formerly VP R&D Intuview Corp.;
Chief Scientist (text analytics), Basis
Technology; Assistant professor, reichman University, Herzliah.
- Evgenia
(Jenny) Falkovich (Derzhavetz), Ph.D., On
Generic Models of Computation, Tel Aviv University,
2015; Senior
Software Engineer, Dell
EMC.
- Lena Dankin,
M.Sc., Prepositional-Phrase
Attachment Disambiguation Using Derived Semantic Information
and Large External Corpora, Tel Aviv University,
2015; continued for Ph.D.
- Jonathan Kalechstain,
M.Sc., Satisfiability
with Hints, Tel
Aviv University, 2015;
Algorithm Engineer, Taboola.
- Daniel Labenski, M.Sc.,
Finding
Inter-textual Relations in Historical Texts, Tel Aviv University,
October 2016; formerly Text Analytics Researcher, IBM;
Head of Data Science at Diagnostic Robotics.
- Ido Kissos,
M.Sc., Improving
Image Documents Retrievability through Image and OCR-Text
Correction Assisted by Language Models, Tel Aviv
University, November 2016; VP Growth, BoxyCharm.
- Adi
Silberpfennig, M.Sc., Word
Spotting Applications for Historical Documents, Tel Aviv University
(Lior Wolf, supervisor), February 2017; Algorithm engineer,
Corephotonics.
- Taivanbat Badamdorj, Undergraduate engineering project,
“Matching
and Searching the Dead Sea Scrolls”, School of Engineering, Tel Aviv University, 2019; M.Sc., University of Alberta; Research Engineer, Borealis AI.
- Ori Terner, M.Sc., Transliteration of Judeo-Arabic Texts to Arabic Using Recurrent Neural Networks, Tel Aviv University, 2020; at Jerusalem College of Technology.
- Alexey Pechorin, M.Sc.,
Contributions to the Alignment of Transcriptions and Images of Historical Manuscripts,
Tel Aviv University, 2020; Algorithm and Java Developer, Taboola.
- Vered
Zilberstein, M.Sc., Semantic Characteristics of Schizophrenic Speech,
Tel Aviv University (Kfir Bar, co-advisor), 2020; Senior Software Engineer, Taboola.
- Tal Roth, M.Sc., The Communication Complexity of Multiparty Set Disjointness Under Product Distributions, Tel Aviv University (Rotem Oshman, co-advisor), 2020; Ph.D. student, Tel Aviv University.
- Saeed Esmail, M.Sc.,
How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study,
Tel Aviv University (Kfir Bar, co-advisor), 2021; Engineer, DailyRobotics.
- Itay
Itzhak, M.Sc.,
Models In a Spelling Bee: Language Models Implicitly Learn the Character Composition of Tokens, Tel Aviv University (Omer Levy, Kfir Bar, co-advisors), 2021; Ph.D. student, Technion.
- Sharva Gogawale, Undergraduate project, Dead Sea scrolls, School of Engineering, Tel Aviv University, 2022; M.Sc. student, Tel Aviv University.
- Tomer Ben Moshe, M.Sc., The Contribution of Prosody to Machine Classification of Schizophrenia, Tel Aviv University (Kfir Bar, co-advisor), 2023.
- Shlomo (Solomon) Tannor, M.Sc., Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanḥuma Material, Tel Aviv University, 2023; Data Scientist, Checkpoint.
- Shmuel (Samuel) Londner, M.Sc., Transfer Learning and Natural Language Processing for Semi-supervised Character Recognition of Ancient Jewish Manuscripts, Tel Aviv University, 2023.
- Lena Dankin,
Ph.D. candidate, NLP, Tel
Aviv University.
- Olya Sirkin, M.Sc. candidate, Computational paleography, Tel Aviv University.
- Ohr Dalal, M.A. candidate, Computational archeology, Tel Aviv University (Israel Finkelstein, co-advisor).
- Gidi Yoffe, M.A. candidate, Computational humanities, Tel Aviv University (Israel Finkelstein, co-advisor).
- Hila Reicher, Ph.D. candidate, Computational health, Tel Aviv University.
- Berat Kurar Barakat, Postdoctoral student, Tel Aviv University.
- Yair Vaknin, M.Sc. candidate, Computational health, Tel Aviv University.