Фрэнк Пфеннинг - Frank Pfenning
Фрэнк Пфеннинг - профессор компьютерных наук , адъюнкт-профессор кафедры философии и глава факультета компьютерных наук в Университете Карнеги-Меллона . Он получил докторскую степень. от факультета математики Университета Карнеги-Меллона в 1987 году за диссертацию, озаглавленную « Преобразования доказательства в логике высокого порядка» . Он был учеником Питера Б. Эндрюса .
Его исследования включают в себя работу в области языков программирования , логики и теории типов , логических структур , автоматизированного вывода и надежных вычислений. Он является одним из основных авторов системы Двенадцать . Он также разработал вводный курс императивного программирования Карнеги-Меллона для студентов и язык программирования C0, используемый в этом курсе.
В 2015 году он был назван членом Ассоциации вычислительной техники «за вклад в логические основы автоматического доказательства теорем и типов для языков программирования». В 2016 году он получил награду LICS Test of Time Award за статью « Линейная логическая структура» , написанная в соавторстве с Илиано Червесато.
Он является профессиональным игроком в сквош, входит в пятерку лучших в университетской сквош-лестнице.
Он также появился в экспериментальном фильме вместе с Шэрон Нидлз .
Рекомендации
внешняя ссылка
| P ≟ NP | Эта биографическая статья, касающаяся ученого-информатика , незавершена . Вы можете помочь Википедии, расширив ее . |