PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor Dr. Shachar Itzhaky
Advisor’s Email shachari@cs.technion.ac.il
No of theses 3
Department Computer Science
Department Web Site www.cs.technion.ac.il
Student’s Name Graduation Year Degree Abstracts Research Name
Gabay Roi 2020 MSc Abstracts Synthesis with Granular Interactive Model
Ghelber Tomer 2020 MSc Abstracts Worst Case Resource Analysis in Program Synthesis
Hadar Sean 2020 MSc Abstracts Incremental Computation of Spreadsheet Formulas