POPL 2017
Sun 15 - Sat 21 January 2017
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 am currently on leave, visiting Prof. Mooly Sagiv in Tel Aviv university. 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.

Country: Israel

Affiliation: Tel Aviv university

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

Research interests: formal verification, model checking, abstraction, compositional reasoning, program analysis, synthesis

Contributions

VMCAI 2017Author of IC3 - Flipping the E in ICE within the VMCAI-track
Author of Property Directed Reachability for Proving Absence of Concurrent Modification Errors within the VMCAI-track
POPL 2017Committee Member in Program Committee within the POPL-track
Show activities from other conferences

POPL 2017-profile
View general profile