Фрэнк Пфеннинг

Фрэнк Пфеннинг
Фрэнк Пфеннинг
	Математические основы семантики программирования (Питтсбург, май 2004 г.)
Рожденный	Рюссельсхайм-на-Майне , Германия
Образование	Технический университет Дармштадта ; Университет Карнеги-Меллон
Супруг	Нэнси Пфеннинг
Награды	Сотрудник ACM (2015)
	Научная карьера
Учреждения	Университет Карнеги-Меллон
Докторантура	Питер Б. Эндрюс
Докторанты	Майкл Кольхазе ; Джеральд Пенн ; Брижит Пиентка ;
Веб-сайт	http://www.cs.cmu.edu/~fp/

Фрэнк Пфеннинг — немецко-американский профессор информатики , адъюнкт-профессор философии и руководитель факультета компьютерных наук Университета Карнеги-Меллон . ^[1]

Образование и карьера

Пфеннинг вырос в Рюссельсхайме в Германии. Он изучал математику и информатику в Техническом университете Дармштадта в Германии. Затем он переехал в США и учился в Университете Карнеги-Меллон , где получил степень магистра и доктора философии. на факультете математики в 1987 году за диссертацию на тему « Преобразования доказательств в логике высшего порядка» . Он был учеником Питера Б. Эндрюса .

Его исследования включают работу в области языков программирования , логики и теории типов . логические структуры , автоматический вывод и надежные вычисления. Он является одним из основных авторов системы Двенадцати . Карнеги-Меллона Он также разработал вводный курс императивного программирования для студентов и язык программирования C0, используемый в этом курсе.

Почести и награды

В 2015 году он был назначен членом Ассоциации вычислительной техники «за вклад в логические основы автоматического доказательства теорем и типов для языков программирования». ^[2] В 2016 году он получил премию LICS Test of Time Award за статью « Линейная логическая структура» . ^[3] в соавторстве с Илиано Червесато.

Личная жизнь

Пфеннинг - конкурентоспособный игрок в сквош, входящий в пятерку лучших университетских игроков в сквош. ^[4]

Пфеннинг также появился в экспериментальном фильме вместе с Шэрон Нидлз . ^[5]^[6]

Ссылки

^ «Фрэнк Пфеннинг назначен главой факультета компьютерных наук Карнеги-Меллон» . 8 января 2013 года . Проверено 9 января 2013 г.
^ Стипендиаты ACM названы в честь компьютерных инноваций, способствующих развитию технологий в эпоху цифровых технологий , Ассоциация вычислительной техники , 2015 г., заархивировано из оригинала 09 декабря 2015 г. , получено 10 декабря 2015 г.
^ «ЛИКС-Архив» . lics.siglog.org . Проверено 27 сентября 2019 г.
^ «Лестница CMU для сквоша» . Проверено 27 января 2019 г.
^ «Фрэнк Пфеннинг / Биографическая справка» . www.cs.cmu.edu . Проверено 17 февраля 2021 г.
^ Шэрон Нидлз , заархивировано из оригинала 19 декабря 2021 г. , получено 17 февраля 2021 г.

Внешние ссылки

Официальный сайт КМУ

П ≟ НП

Эта биографическая статья, посвященная ученому-компьютерщику незавершена , . Вы можете помочь Википедии, расширив ее .

[1] «Фрэнк Пфеннинг назначен главой факультета компьютерных наук Карнеги-Меллон» . 8 января 2013 года . Проверено 9 января 2013 г.

[2] Стипендиаты ACM названы в честь компьютерных инноваций, способствующих развитию технологий в эпоху цифровых технологий , Ассоциация вычислительной техники , 2015 г., заархивировано из оригинала 09 декабря 2015 г. , получено 10 декабря 2015 г.

[3] «ЛИКС-Архив» . lics.siglog.org . Проверено 27 сентября 2019 г.

[4] «Лестница CMU для сквоша» . Проверено 27 января 2019 г.

[5] «Фрэнк Пфеннинг / Биографическая справка» . www.cs.cmu.edu . Проверено 17 февраля 2021 г.

[6] Шэрон Нидлз , заархивировано из оригинала 19 декабря 2021 г. , получено 17 февраля 2021 г.

[1]

[2]

[3]

[4]

[5]

[6]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии ОРЦИД zbMATH
Другой	ИдРеф