Dsc 2417

Research Intern

Us 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.