Лэнс Фортноу
- Лэнс Джереми Фортноу — ученый-компьютерщик, известный в области вычислительной сложности и интерактивных систем доказательства.
- Фортноу является деканом компьютерного колледжа Иллинойского технологического института.
- Он получил докторскую степень по прикладной математике в Массачусетском технологическом институте в 1989 году.
- Фортноу был основателем и главным редактором журнала ACM Transactions по теории вычислений в 2009 году.
- Он был председателем ACM SIGACT и председателем конференции IEEE по вычислительной сложности.
- Фортноу опубликовал важные результаты в области вычислительной сложности, включая доказательство отсутствия идеальных протоколов с нулевым разглашением для NP-полных языков.
- Он также разработал алгебраическую методику построения интерактивных систем доказательства и доказал, что каждый язык в иерархии с полиномиальным временем имеет интерактивную систему доказательства.
- Фортноу продолжает публиковать статьи по различным темам в области вычислительной сложности, включая дерандомизацию, разреженные языки и машины oracle.
Полный текст статьи: