Students
Graduated
Graduated
Shooki Matzliah, M.Sc. (2019), Inferring Recursive Programs from Traces
Amit Rokach: M.Sc. (2017), Software Reflexes (co-advised with Prof. Shlomi Dolev)
Boris Dogadov: M.Sc.(2016), Termination of Heap-manipulating Programs (co-advised with Dr. Noam Rinetzky)
Eran Ben Tovim: M.Sc.(2016), Synthesizing Abstract Interpreters