Registered user since Sun 21 Jun 2015
I am a senior lecturer in the School of Computer Science at the Academic College of Tel-Aviv Yaffo. I am currently on leave, visiting Prof. Mooly Sagiv in Tel Aviv university. I completed my Ph.D. in the Computer Science department at the Technion - Israel Institute of Technology under the supervision of Prof. Orna Grumberg. My main areas of research are formal verification of systems and program analysis.
|VMCAI 2017|| IC3 - Flipping the E in ICE|
Property Directed Reachability for Proving Absence of Concurrent Modification Errors
|POPL 2017||Committee Member in Program Committee within the POPL-track|
|Show activities from other conferences|
View general profile