PhD and MSc Theses
PhD and MSc Theses, since 1988
| Advisor | DR. Gabi Nakibly |
|---|---|
| Advisor's Email | gnakibly@cs.technion.ac.il |
| No of theses | 1 |
| Department | Computer Science |
| Department Web Site | www.cs.technion.ac.il |
| Student's Name | Graduation Year | Degree | Abstracts | Research Name |
|---|---|---|---|---|
| Marcovich Ron | 2023 | MSc | Abstracts | Protocol Inference from Program Executable using Symbolic Execution and Automata Learning |