Benjamin C. Pierce - Benjamin C. Pierce

Benjamin C. Pierce
Benjamin C. Pierce.jpg
Matematické základy programovací sémantiky 24 (Philadelphia, květen 2008)
Alma materUniverzita Carnegie Mellon
Známý jako Typy a programovací jazyky
Vědecká kariéra
TezeProgramování s typy křižovatky a ohraničeným polymorfismem (1991)
Doktorský poradceRobert Harper
John C. Reynolds

Benjamin Crawford Pierce je profesor Henry Salvatori[1] z počítačová věda na University of Pennsylvania. Pierce se k Pennovi připojil v roce 1998 Indiana University a zastával výzkumné pozice v Univerzita v Cambridge a University of Edinburgh. Získal titul Ph.D. z Univerzita Carnegie Mellon v roce 1991. Jeho výzkum zahrnuje práci na programovacích jazycích, systémech statického typu, distribuovaném programování, mobilních agentech, výpočtech procesů a rozdílovém soukromí.

V rámci svého výzkumu vedl Pierce vývoj u několika open-source software projekty, včetně Unison synchronizace souborů nástroj.

V roce 2012 se Pierce stal Člen ACM [2] pro „příspěvky k teorii a praxi programovacích jazyků a jejich typových systémů“. V roce 2015 Pierce a spoluautoři obdrželi cenu za nejvlivnější dokument o principech programovacích jazyků,[3] který byl popsán jako „pomocný nástroj, který upozorňuje komunitu programovacích jazyků na problém s aktualizací pohledu a prokazuje širokou relevanci problému nad rámec databází. [...] Obecněji řečeno, tento příspěvek vyvolal velkou návaznost pracovat v oblasti BX („obousměrné transformace“), což vede k plodné spolupráci mezi světy databází, programovacích jazyků a softwarového inženýrství. “

Knihy

Je autorem jedné knihy systémy typu, Typy a programovací jazyky ISBN  0-262-16209-1. Upravil také sbírku článků a vytvořil druhý díl Pokročilá témata v typech a programovacích jazycích ISBN  0-262-16228-8. Na základě poznámek, které sbíral při učení teorie kategorií během doktorského studia vydal na toto téma také úvodní knihu -Teorie základní kategorie pro počítačové vědce, ISBN  0-262-66071-7. Je jedním z autorů volně dostupné knihy Softwarové základy.

Viz také

Reference

  1. ^ https://www.seas.upenn.edu/directory/profile.php?ID=72
  2. ^ „Benjamin Pierce“. awards.acm.org. Citováno 2019-09-10.
  3. ^ „Nejvlivnější cena papíru POPL“. www.sigplan.org. Citováno 2019-09-10.

externí odkazy