הטכניון מכון טכנולוגי לישראלהטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים
   דף הבית   |   דבר הדיקן   |   הרשמה   |   טפסים   |   תיזות ומחקרים   |   מועדים חשובים   |   תכניות הלימודים   |   מידע אישי   |   מידע כללי 
  מתעניינים בלימודים
  חדשים
  לומדים
  מלגות, מעונות
  השתלמויות,לימודים וכנסים בחו"ל
  מסיימים
  International Students
  בוגרים
  בתר דוקטורנטים [פוסט-דוקטורנטים]
  מידע למנחה

הודעות

יום פתוח לתארים מתקדמים בפסיכולוגיה וכלכלה התנהגותית - 16.3.2018- יתקיים בתל אביב

 

יום פתוח לתארים מתקדמים בהנדסה כימית - 25.1.2018

 

יום מחקר למשתלמים ע"ש ג'ייקובס. בניין צ'רצ'יל - 10.1.2018 בין השעות 12:30-14:30

 

בית הספר לתארים מתקדמים מברך את 849 מקבלי תואר מגיסטר במחזור 2017. טקס הענקת התעודות יתקיים ב-5.6.2017 - באמפי ע"ש קלנר בשעה 18:30. הכניסה לבעלי הזמנות.

 

בית הספר לתארים מתקדמים מברך את 243 מקבלי תואר דוקטור (PhD) במחזור 2017. טקס הענקת התעודות יתקיים ב-29.5.2017 - באמפי ע"ש קלנר בשעה 18:30. הכניסה לבעלי הזמנות.

 

 





 


Ph.D and MS.c Theses, since 1988.


Advisor PROF. Ofer Strichman
Advisor's Email ofers@ie.technion.ac.il
Advisor's Home-Site www
No of theses 15
Department Industrial Engineering and Management
Department Web Site iew3.technion.ac.il


No. Student's Name Graduation
Year
Degree Abstracts ResearchName
1 Nof Yair 2018 MSc Abstracts Real Time Solving of Discrete Optimization Problems
2 Veitsman Maor 2017 MSc Abstracts Methods to Improve completeness of Regression Verification
3 Veksler Michael 2015 PhD Abstracts Constraint Solving with a Learning Mechanism based on General Constraints
4 Drucker Nir 2014 MSc Abstracts Cyclic Routing of Unmanned Aerial Vehicles
5 Elenbogen Dima 2014 MSc Abstracts Proving Mutual Termination of Programs
6 Ryvchin Vadim 2014 PhD Abstracts Core Algorithms for SAT and SAT Related Problems
7 Vaisman Radislav 2014 PhD Abstracts Stochastic Enumeration Methods for Counting, Rare-Events and Optimization
8 Emmer Moshe 2013 MSc Abstracts Bounded Model Checking at Word Level via Encoding into Effectively Propositional Logic
9 Rozanov Mirron 2011 MSc Abstracts An Approximation Scheme for Weighet and Non-Weighted Model Counting
10 Ryabtsev Michael 2009 MSc Abstracts Translation Validation: from Simulink to C
11 Kutsy Ekaterina 2008 MSc Abstracts A Probabilistic Analysis of Coverage Methods
12 Godlin Benny 2008 MSc Abstracts Regression Verification: Theoretical and Implementation Aspects
13 Gershman Roman 2007 MSc Abstracts Improvements of SAT Solving Techniques
14 Koifman Maya 2007 MSc Abstracts An Approach to Extracting a Small Unsatisfiable Core
15 Meir Orly 2005 MSc Abstracts A Decision Procedure for Equality Logic

Last updated on: Thursday ,October 21, 2021