VMware Academic Program
Palo Alto, CA, US
PhD Student, Tel Aviv University
I'm a PhD student at TAU, working on verification of cloud native systems. My main interest is the intersection of Serverless computing and formal methods.