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.