PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor DR. Sarai Sheinvald
Advisor's Email
No of theses 2
Department Computer Science
Department Web Site
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