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.


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

POPL 2016-profile
View general profile