Shalev Ben-David

研究は、複雑さクラスにおける量子証明と古典証明の分離を探求している。