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 |