Kalev
1,158
reputation
7
17
A PhD candidate in Tel Aviv University, focusing on applying formal methods to serverless and cloud-native applications.