Sharon Shoham

Registered user since Sun 21 Jun 2015

Name:Sharon Shoham
Bio:

I am a senior lecturer in the School of Computer Science at the Academic College of Tel-Aviv Yaffo. 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.

Contributions

PLDI 2016 Ivy: Safety Verification by Interactive Generalization
Show activities from other conferences

PLDI 2016-profile
View general profile