Students

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