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


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

Last updated on: Thursday ,September 29, 2022