Researcher

Palo Alto, CA, US

I'm interested in programming languages, formal methods, distributed systems, and logic.

I received my PhD from Tel Aviv University. Before joining VMware Research I was a postdoc at Stanford University. For more details, see my personal webpage.

External service:
  • PLDI 2021 PC
  • VMCAI 2021 PC
  • CAV 2019 PC