PhD and MSc Theses
PhD and MSc Theses, since 1988
| Advisor | ASSOCIATE PROFESSOR Sharon Shoham-Buchbind |
|---|---|
| Advisor’s Email | sharon.shoham@gmail.com |
| No of theses | 3 |
| Department | Computer Science |
| Department Web Site | www.cs.technion.ac.il |
| Student’s Name | Graduation Year | Degree | Abstracts | Research Name |
|---|---|---|---|---|
| Omari Adi | 2018 | PhD | Abstracts | Scalable Data Extraction via Program Synthesis |
| Rasin Dan | 2018 | MSc | Abstracts | Modular Verification of Concurrent Programs via Sequential Model Checking |
| Abdelkader Karam | 2016 | MSc | Abstracts | Automated Circular Assume-Guarantee Reasoning |