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 |