I am a postdoctoral researcher in Shachar Itzhaky’s group at the Technion. Before that, I was a Ph.D. student at Tel-Aviv University, under the supervision of Prof. Noam Rinetzky.

My main research topics are:

  • Symbolic execution
  • Proof Assistants
  • Static analysis

I also have an industrial experience in cyber security:

  • Automatic malware analysis
  • Reverse engineering