PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor Ms. 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