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 |