VMCAI
Sun 17 - 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.

Personal website: http://www2.mta.ac.il/~sharon.shoham/

Contributions

VMCAISession Chair of Invited Talk I (part of VMCAI)
Committee Member in Program Committee
Author of Property Directed Abstract Interpretation within the VMCAI-track
Author of D3 : Data-Driven Disjunctive Abstraction within the VMCAI-track
POPL 2016Author of Decidability of Inferring Inductive Invariants within the Research Papers-track
Show activities from other conferences

POPL 2016-profile
View general profile