Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Sharon Shoham

Registered user since Sun 21 Jun 2015

Name:Sharon Shoham
Affiliation:Tel Aviv University
Research interests:formal verification, model checking, program analysis, synthesis


POPL 2021 Learning the Boundary of Inductive Invariants
VMCAI 2021 Conference Co-Chair in Organizing Committee within the VMCAI-track
Show activities from other conferences

POPL 2021-profile
View general profile