Moshe Y. Vardi

Person

First seen 7/17/2026

Last seen 7/17/2026

Evidence 4 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

4 connections

UniWit ← authored by 95% 2e

Vardi is listed as an author of UniWit.

UniGen Paper (DAC 2014) ← authored by 100% 1e

Moshe Y. Vardi is listed as an author of the UniGen paper.

UniGen ← authored by 100% 1e

Moshe Y. Vardi is an author of UniGen.

ApproxMC ← authored by 90% 1e

Vardi et al. authored the ApproxMC approximate model counter.