I am a PhD student in the Department of Electrical and Systems Engineering at the University of Pennsylvania, under the supervision of Prof. George J. Pappas.

I am part of the GRASP lab and I am working on motion planning for robots using temporal logic and formal verification tools.

On a more personal note, I am married to Liran and the very proud mother of Mika.

For more information about me, see my CV.