Yael Tauman Kalai (Hebrew: יעל טאומן קלעי) is a cryptographer and theoretical computer scientist and the Ellen Swallow Richards Professor at MIT in the Computer Science and Artificial Intelligence Laboratory. Previously, she worked as a Senior Principal Researcher at Microsoft Research New England.
«Вместо сжатия доказательство искусственно удлиняется, однако теперь для его верификации нет необходимости читать текст целиком — достаточно изучить лишь несколько случайно выбранных позиций.»
«Помимо очевидного признания и возможной награды ACM за лучшую докторскую диссертацию, я готова выплатить из своего кармана приз в размере $500 тому, кто избавится от этого фактора T в уравнениях»
«В реальном мире нет смысла требовать абсолютной надежности против доказывающего, способного совершить 2^1000 операций, ведь во Вселенной даже нет стольки молекул»
«Я вас обманула. Описанная редукция безупречно работает только в том случае, если верхняя граница времени работы злоумышленника строго больше, чем размер PCP-доказательства.»