Write a Blog >>
Sharon Shoham

Registered user since Sun 21 Jun 2015

Name:Sharon Shoham

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.


Show activities from other conferences

POPL 2016-profile
View general profile