הטכניון מכון טכנולוגי לישראלהטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים
   דף הבית   |   דבר הדיקן   |   הרשמה   |   טפסים   |   תיזות ומחקרים   |   מועדים חשובים   |   תכניות הלימודים   |   מידע אישי   |   מידע כללי 
  מתעניינים בלימודים
  חדשים
  לומדים
  מלגות, מעונות
  השתלמויות,לימודים וכנסים בחו"ל
  מסיימים
  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. Shmuel Katz
Advisor's Email katz@cs.technion.ac.il
Advisor's Home-Site  
No of theses 25
Department Computer Science
Department Web Site www.cs.technion.ac.il


No. Student's Name Graduation
Year
Degree Abstracts ResearchName
1 Disenfeld Cynthia 2015 PhD Abstracts Compositional Verification of Events and Responses
2 Elenbogen Dima 2014 MSc Abstracts Proving Mutual Termination of Programs
3 Katz Emilia 2011 PhD Abstracts Analysis and Detection of Interactions among Aspects
4 Alperin Yevgenia 2010 MSc Abstracts Property Analysis and Automatic Detection of Aspect Categories
5 Mishali Oren 2010 PhD Abstracts Using Aspects to Support the Software Process
6 Goldman Max 2006 MSc Abstracts Modular Verification of Aspects
7 Katz Emilia 2006 MSc Abstracts Verifying Scenario-Based Aspect Specifications
8 Estrin Yacov 2006 MSc Abstracts Expert System On Translations among Formal Verification Tools in VeriTech
9 Berg Mirit 2003 MSc Abstracts Property Transformations for Translations
10 Shapiro Constantine 2003 MSc Abstracts Object-Oriented Implementation of Reconciliations
11 Glusman Marcelo 2003 PhD Abstracts Mechanizing Proofs of Computation Equivalence
12 Reinhartz-Berger Iris 2003 PhD Abstracts Developing Web Applications with Object-Oriented Approaches and Object-Process Methodology
13 Sihman Marcelo 2003 PhD Abstracts Language and Proof Support for Superimpositions and Aspects
14 Firstenberg Yosef 2002 MSc Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs
15 Eckel Jacob 1998 MSc A Framework for Static Checking of Design Level Traits
16 Miller Hillel 1996 MSc Saving Space by Fully Exploiting Invisible Transitions
17 Ben-David Shoham 1994 MSc Using Graphs to Represent Equivalence Classes of Parallel
18 Adir Allon 1994 MSc Compiling Programs with Multiparty-Interactions and Teams
19 Aizenbud Netta 1993 MSc Self-Stabilization of Fault-Tolerant Distributed Algorithms
20 Dvir Nir 1992 MSc Freezing - Interaction Between Concurrent Distributed Algs.
21 Sprejer Nelson 1992 MSc
22 Collin Ze'ev 1992 MSc A Self Stabilizing Distributed Solution
23 Bin Eyal 1991 MSc A Pre-Processor for Generating Self-Stabilizing Systems
24 Peled Doron 1991 PhD VERIFICATION METHODS IN TEMPORAL LOGICS
25 Taubenfeld Gadi 1988 PhD An Axiomatic Approach for Proving Impossibility Results in

Last updated on: Thursday ,September 29, 2022