About

I am a Research Fellow at the National University of Singapore, under the supervision of Prof. Abhik Roychoudhury. Before that, I was a Postdoctoral Researcher at the Technion, under the supervision of Prof. Shachar Itzhaky. 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
• Verification
• Proof assistants
• Static analysis

I have extensive industrial experience in cyber security:

• Malware analysis
• Reverse engineering
• Vulnerability research