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.

Contributions

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

POPL 2016-profile
View general profile