Frank Pfenning - Frank Pfenning

Matematické základy programovací sémantiky (Pittsburgh, květen 2004)

Frank Pfenning je profesorem počítačová věda, mimořádný profesor na katedře filozofie, a vedoucí Oddělení informatiky v Univerzita Carnegie Mellon.[1] Získal titul Ph.D. z Univerzita Carnegie Mellon oddělení Matematika v roce 1987 za svou disertační práci s názvem Důkaz transformace v logice vyšších řádů. Byl studentem Peter B. Andrews.

Jeho výzkum zahrnuje práci v oblasti programovací jazyky, logika a teorie typů,logické rámce, automatický odpočet a důvěryhodné výpočty. Je jedním z hlavních autorů Twelf Systém. On také vyvinul úvodní Carnegie Mellon imperativní programování kurz pro vysokoškoláky a programovací jazyk C0 použitý v tomto kurzu.

V roce 2015 byl jmenován a Člen sdružení pro výpočetní techniku „za příspěvky k logickým základům automatického dokazování vět a typů pro programovací jazyky.“[2] V roce 2016 obdržel cenu LICS Test of Time za článek „Lineární logický rámec “,[3] spoluautorem s Iliano Cervesato.

Je to konkurenceschopný hráč na squash, který se zařadil do první pětky squashového žebříčku univerzity.[4]

Reference

  1. ^ „Frank Pfenning jmenován vedoucím oddělení výpočetní techniky Carnegie Mellon“. 8. ledna 2013. Citováno 9. ledna 2013.
  2. ^ Členové ACM pojmenovaní pro počítačové inovace, které rozvíjejí technologii v digitálním věku, Sdružení pro výpočetní techniku, 2015, archivovány od originál dne 09.12.2015, vyvoláno 2015-12-10.
  3. ^ „LICS - archiv“. lics.siglog.org. Citováno 2019-09-27.
  4. ^ „CMU Squash Ladder“. Citováno 27. ledna 2019.

externí odkazy