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

Show activities from other conferences

PLDI 2016-profile
View general profile