PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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

POPL 2016-profile
View general profile