Frank Pfenning - Frank Pfenning

Dasturlash semantikasining matematik asoslari (Pitsburg, 2004 yil may)

Frank Pfenning professor Kompyuter fanlari, kafedrada yordamchi professor falsafa va Kompyuter fanlari bo'limi boshlig'i Karnegi Mellon universiteti.[1] U doktorlik dissertatsiyasini oldi. dan Karnegi Mellon universiteti Kafedrasi Matematika 1987 yilda nomzodlik dissertatsiyasi uchun Yuqori darajadagi mantiqdagi isbotlangan o'zgarishlar. U talaba edi Piter B. Endryus.

Uning tadqiqotlari sohasidagi ishlarni o'z ichiga oladi dasturlash tillari, mantiq va tip nazariyasi,mantiqiy ramkalar, avtomatlashtirilgan chegirma va ishonchli hisoblash. U asosiy mualliflaridan biri O'n ikki tizim. Shuningdek, u Karnegi Mellonning kirish qismini ishlab chiqdi majburiy dasturlash bakalavrlar uchun kurs va ushbu kursda qo'llaniladigan C0 dasturlash tili.

2015 yilda u a Hisoblash texnikasi assotsiatsiyasi a'zosi "avtomatik teoremani isbotlashning mantiqiy asoslari va dasturlash tillari turlariga qo'shgan hissasi uchun."[2] 2016 yilda u qog'oz uchun LICS Time of Award mukofotiga sazovor bo'ldi ".Lineer mantiqiy asos ",[3] Iliano Cerveato bilan hammualliflik qilgan.

U raqobatbardosh squash o'yinchisi, universitetning qovoq narvonining eng yaxshi beshtaligiga kiritilgan.[4]

Adabiyotlar

  1. ^ "Frank Pfenning Karnegi Mellonning kompyuter fanlari bo'limining rahbari etib tayinlandi". 2013 yil 8-yanvar. Olingan 9 yanvar 2013.
  2. ^ Raqamli asrda texnologiyalarni rivojlantirayotgan hisoblash yangiliklari uchun nomlangan ACM Fellows, Hisoblash texnikasi assotsiatsiyasi, 2015, arxivlangan asl nusxasi 2015-12-09 kunlari, olingan 2015-12-10.
  3. ^ "LICS - Arxiv". lics.siglog.org. Olingan 2019-09-27.
  4. ^ "CMU Squash Ladder". Olingan 27 yanvar 2019.

Tashqi havolalar