A PhD candidate in Tel Aviv University, focusing on applying formal methods to serverless and cloud-native applications.