|
Ph.D. |
|
|
2018- 2022 |
Shahar
Miller, Ph.D, topic: Water Main Fault Prediction |
|
2016 – 2020 |
Amir
Elmishali, Ph.D. topic: Diagnosing System Exploits |
|
Ms.C. |
|
|
2018-2020
|
Amir Avitan,
topic: Test Management by Bug Prediction |
|
2018-2020 |
Gal
Rozenfeld, MSc., topic: A Machine Learning Approach for Circuit
Synthesis |
|
2018-2020 |
Yotam
Shichel, MSc., topic: Automatic Rephrasing |
|
2017-2019 |
Eyal Hadad,
MSc., topic: Automatic Test Generation for Software |
|
2017- 2019 |
Ido Tam,
MSc, topic: Fault Detection and Diagnosis of Bearings |
|
2016 – 2018 |
Ori
Bar-Ilan, MSc, topic:
Approximate
Model Based Diagnosis via Invariant Synthesis |
|
2016 – 2018 |
Lior Chen,
MSc, topic: Cybox modeling for coverage |
|
2015 –2018 |
Amit Shlomo,
MSc, topic: Attacks detection in SCADA systems |
|
2015 – 2018 |
Esther
Lazebnik, MSc, topic:
SAT Based
Algorithms |
|
Ph.D. |
|
|
2009 – 2014 |
Lihi
Naamani, (Ph.D. adjunct advisor), topic: Voting with reduced votes
(advising
jointly with Lior Rokach and Bracha Shapira) |
|
2009 – 2012 |
Roni Stern,
(Ph.D. adjunct advisor), topic: Search in unknown graphs
(advising
jointly with Ariel Felner) |
|
2011 – 2016 |
Eliahu
Khalastchi, Ph.D, topic: Autonomous Anomaly Detection and Diagnosis
(advising jointly with Lior Rokach) |
|
M.Sc. |
|
|
2009 – 2011 |
Eli Maman,
M.Sc., topic: Decision making with dynamic information |
|
2010 – 2012 |
Ayelet
Urieli, M.Sc., topic: Survival Analysis in Large-Scale Systems
(advising
jointly with Lior Rokach) |
|
2012 – 2014 |
Yedidya
Bar-Zeev, M.Sc, topic: Diagnosing Broken Synchronization in Multi-Agent
Systems |
|
2013 – 2015 |
Tzah Tsabag,
M.Sc, topic: Anomaly Detection in SCADA using Modbus |
|
2013 – 2016 |
Tom Zamir,
M.Sc, topic: AI techniques for automatic debugging |
|
2013 – 2015 |
Shelly
Rogov, M.Sc. topic: Methods to evaluate the results of model-based
diagnosis algorithms |
|
2014 – 2016 |
Orel
Elimelech, M.Sc. topic: Model-Based Diagnosis with Boolean Satisfaction |
|
2014 - 2017 |
David Biton,
M.Sc. topic: User and Group Profiling For Anomaly Detection |
|
2014 – 2016 |
Amir
Elmishali, M.Sc. topic: Machine Learning Techniques for Software Faults
Prediction |
|
2015 – 2017 |
Hilla
Shinitski, MSc, topic: Repair Planning with Batch Repair |
|
2015 – 2017 |
Netanel
Hasidi, MSc, topic:
Anticipatory
Troubleshooting |
|
Teaching: |
| Teaching Current: |
| Model-Based Diagnosis |
| Files Organization |
| Advanced Programming |
| Algorithms |
| Teaching Past: |
| Procedural Programming (C) |
| Object Oriented Programming (C++) |
| Data Structures |