PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor ASSOCIATE PROFESSOR Sharon Shoham-Buchbind
Advisor's Email
No of theses 3
Department Computer Science
Department Web Site
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