![Sharon Shoham](https://popl16.sigplan.org/getProfileImage/sharonshoham/52682cc9-6e18-4f4c-aa1b-a1e5401bccc1/small.jpg?1711596177000)
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.
Personal website: http://www2.mta.ac.il/~sharon.shoham/
Contributions
POPL 2016-profile
View general profile
View general profile