הטכניון מכון טכנולוגי לישראלXyz
הטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים 
Ph.D and MS.c Theses, since 1988.


Advisor Ms. Sharon Shoham-Buchbind
Advisor's Email sharon.shoham@gmail.com
Advisor's Home-Site  
No of theses 3
Department Computer Science
Department Web Site www.cs.technion.ac.il


No.   Student's Name Graduation
Year
Degree Abstracts Research Name
 1 Rasin Dan 2018 MSc Abstracts Modular Verification of Concurrent Programs via Sequential Model Checking
 2 Omari Adi 2018 PhD Abstracts Scalable Data Extraction via Program Synthesis
 3 Abdelkader Karam 2016 MSc Abstracts Automated Circular Assume-Guarantee Reasoning

Last updated on: Tuesday ,September 17, 2019