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

הודעות

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

 

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

 

מפגש מתעניינים בתכנית  Start up MBA, בפק' לה. תעשיה וניהול, בניין בלומפילד, חדר 527 - 20.6.17

 

ברכות לזוכי פרס וולף לשנת תשע"ז

 

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


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

 

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

 

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

 

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

 





 


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 27
Department Computer Science
Department Web Site www.cs.technion.ac.il


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

Last updated on: Friday ,November 17, 2017