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

הודעות

יום פתוח לתארים מתקדמים במדעי המחשב - 25.4.2018

 

יום פתוח לתארים מתקדמים בארכיטקטורה - 26.3.2018

 

יום פתוח לתארים מתקדמים בפסיכולוגיה וכלכלה התנהגותית - 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 Full Professors Grumberg Orna
Advisor's Email orna@cs.technion.ac.il
Advisor's Home-Site www
No of theses 28
Department Computer Science
Department Web Site www.cs.technion.ac.il


No. Student's Name Graduation
Year
Degree Abstracts ResearchName
1 Anna Trostanetski 2018 MSc Abstracts Modular Demand-Driven Analysis of Semantic Difference for Program Versions
2 Adi Sosnovich 2017 PhD Abstracts Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification
3 Karam Abdelkader 2016 MSc Abstracts Automated Circular Assume-Guarantee Reasoning
4 Yael Meller 2016 PhD Abstracts Model Checking Techniques for Behavioral UML Models
5 Yakir Vizel 2014 PhD Abstracts SAT-Based Model Checking Using Interpolation and IC3
6 Shaked Flur 2013 MSc Abstracts Weak Omega Automata
7 Yael Meller 2010 MSc Abstracts Multi Valued Abstraction and Compositional Model Checking
8 Avraham Yadgar 2010 PhD Abstracts New Approaches to Model Checking and to 3-Valued Abstraction and Refinement
9 Sharon Shoham Buchbinder 2009 PhD Abstracts Abstraction-Refinement and Modularity in Mu-Calculus Model Checking
10 Rotem Oshman 2008 MSc Abstracts Bounded Model - Checking for Branching-Time Logic
11 Rachel Brel 2006 MSc Abstracts Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
12 Nili Ifergan 2005 MSc Abstracts Achieving High Speedups in Distributed Reachability Analysis through Asynchronous Computation
13 Sharon Shoham Buchbinder 2004 MSc Abstracts A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement
14 Avraham Yadgar 2004 MSc Abstracts Solving All-SAT Problem for Reachability Analysis
15 Tamir Heyman 2004 PhD Abstracts Distributed Symbolic Model Checking
16 Sharon Keidar 2003 MSc Abstracts Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
17 Sagi Katz 2002 MSc
Techniques for Increasing Coverage of Formal Verification
18 Doron Bustan 2002 PhD Abstracts Equivalence-Based Reductions and Checking for Preorders
19 Noam Rinetskey 2001 MSc
Interprocedural Shape Analysis
20 Shlomo Livne 2001 MSc
Machine Learning for Efficient BDD Variable Ordering in Verification
21 Karen Yorav 2000 PhD
Exploiting Syntactic Structure for Automatic Verification
22 Orna Kupferman-Bernholtz 1995 PhD
Model Checking for Branching-Time Temporal Logics
23 Benjamin Gershon 1994 MSc
Synthesis of Concurrent Systems
24 Hana De-Lion 1991 MSc
Real Time Temporal Logics
25 Gil Shurek 1991 MSc
Modular Computer Aided Verification of Concurrent Systems
26 Rami Marelly 1991 MSc
Automatic Verifier of Distributed Algorithms
27 Zeiev Shtapler 1990 MSc
Automatic Verification of Distributed Algorithms
28 Esther Leyzerovitch 1989 MSc
Impiementing Superimpositions for Occam

Last updated on: Friday ,February 23, 2018