Kalev Alpernas

kalevalp (at) post (dot) tau (dot) ac (dot) il
Mailbox 381, 2nd floor, Schreiber

Office Hours: Wednesdays, 15-16 in Schreiber 209. Please email me beforehand.

I am a PhD student in the Programming Languages and Systems Laboratory @TAU, under the supervision of Prof. Mooly Sagiv.
My research interests include Formal Verification and Programming Language, with a special focus on application of verification techniques to networks.


Some Complexity Results for Stateful Network Verification [pdf]
Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham
In TACAS 2016 (22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 2016, Eindhoven, The Netherlands)


Fall '16. 0368-3174. Techniques for Improving Software Productivity.

Fall '16. 0368-3245. Computer Science Learning in the Community.

M.Sc Thesis

Safety Verification of Stateful Networks [pdf]
Under the supervision of Prof. Mooly Sagiv and Dr. Sharon Shoham
Tel Aviv University (Submitted June 2016)