Registered user since Wed 5 Sep 2018

Name: Kalev Alpernas

Country: Israel

Affiliation: Tel Aviv University

Personal website: https://www.cs.tau.ac.il/~kalevalp/

Research interests: Verification, serverless computing, networking

Contributions