PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor DR. Sarai Sheinvald
Advisor’s Email surke@cs.huji.ac.il
No of theses 2
Department Computer Science
Department Web Site www.cs.technion.ac.il
Student’s Name Graduation Year Degree Abstracts Research Name
Frenkel Hadar 2021 PhD Abstracts Automata over Infinite Data Domains:Learnability and Applications in Program Verification and Repair
Goudsmid Ohad 2021 MSc Abstracts Compositional Model-Checking of Multi-Properties