Sharon Shoham

Sharon Shoham is a Professor at the School of Computer Science, Tel Aviv University, specializing in formal verification and program analysis. She leads research under a 5-year ERC grant on supervised verification of infinite-state systems and mentors PhD students, postdocs, and visiting scholars.

Research Interests: Her work focuses on formal verification, program analysis, model checking, and verification of distributed systems. She explores inductive invariants, quantifier instantiation, and abstract interpretation.

Recent Publications (2023-2025) highlight advancements in liveness properties, hyperproperty verification, quantifier elimination, and distributed protocol verification, often leveraging first-order logic and constraint-solving techniques.

Scientific Awards:

• Distinguished paper awards at POPL 2025 and POPL 2024
• Best paper and best student paper awards at DISC 2024, CAV 2019, and DISC 2018
• Best paper awards at VMCAI 2016, ATVA 2009, SPIN'08, SAS'07, and FMCAD'07

Advising & Grants: Actively recruits strong PhD students and postdocs under an ERC grant. Collaborates with institutions like Technion and Tel Aviv University on verification frameworks and tools such as Ivy and mypyvy.