Benjamina C. Pierce'a

Benjamin C. Pierce
Benjamin C. Pierce.jpg
Matematyczne podstawy semantyki programowania 24 (Filadelfia, maj 2008)
Alma Mater Carnegie Mellon University
Znany z Typy i języki programowania
Kariera naukowa
Praca dyplomowa   Programowanie z typami przecięć i ograniczonym polimorfizmem (1991)
Doradca doktorski
Roberta Harpera Johna C. Reynoldsa

Benjamin Crawford Pierce jest profesorem informatyki Henry Salvatori na Uniwersytecie Pensylwanii . Pierce dołączył do Penn w 1998 roku z Indiana University i zajmował stanowiska badawcze na Uniwersytecie w Cambridge i Uniwersytecie w Edynburgu . Uzyskał tytuł doktora. z Carnegie Mellon University w 1991 roku. Jego badania obejmują prace nad językami programowania , systemami typu statycznego , programowaniem rozproszonym , agentami mobilnymi , obliczeniami procesowymi i prywatnością różnicową .

W ramach swoich badań Pierce kierował rozwojem kilku projektów oprogramowania open source , w tym narzędzia do synchronizacji plików Unison .

W 2012 roku Pierce został stypendystą ACM za „wkład w teorię i praktykę języków programowania i ich systemów typów”. W 2015 roku Pierce i współautorzy otrzymali nagrodę za najbardziej wpływowy na temat zasad języków programowania , który został opisany jako „instrumentalny w zwróceniu uwagi społeczności języków programowania na problem aktualizacji widoku i wykazaniu szerokiego znaczenia problemu wykraczającego poza baz danych. […] Mówiąc szerzej, artykuł zapoczątkował wiele dalszych prac w obszarze BX („ przekształcenia dwukierunkowe ”), prowadząc do owocnej współpracy między światami baz danych, języków programowania i inżynierii oprogramowania ”.

Książki

     Jest autorem jednej książki o systemach typów , Types and Programming Languages ​​ISBN 0-262-16209-1 . Zredagował również zbiór artykułów, aby stworzyć drugi tom Advanced Topics in Types and Programming Languages ​​ISBN 0-262-16228-8 . Na podstawie notatek, które zebrał podczas nauki teorii kategorii w trakcie swojej pracy doktorskiej, opublikował także książkę wprowadzającą na ten temat — Podstawowa teoria kategorii dla informatyków , ISBN 0-262-66071-7 . Jest jednym z autorów ogólnodostępnej książki Software Foundations .

Zobacz też

  1. Wikimedia Commons znajdują się multimedia związane z Benjaminem C. Pierce .
  2. Wikimedia Commons znajdują się multimedia związane z Benjaminem Pierce . nagrody.acm.org . Źródło 2019-09-10 .
  3. ^ „Nagroda za najbardziej wpływową gazetę POPL” . www.sigplan.org . Źródło 2019-09-10 .

Linki zewnętrzne


Pobrano z „ https://en.wikipedia.org/w/index.php?title=Benjamin_C._Pierce&oldid=1122685724 ”