Benjamin C. Pierce - Benjamin C. Pierce

Benjamin C. Pierce
Benjamin C. Pierce
	Matematyczne podstawy semantyki programowania 24 (Filadelfia, maj 2008)
Alma Mater	Carnegie Mellon University
Znany z	Rodzaje i języki programowania
	Kariera naukowa
Praca dyplomowa	Programowanie z typami przecięć i ograniczonym polimorfizmem (1991)
Doradca doktorski	Robert Harper ; John C. Reynolds

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 University of Cambridge i University of Edinburgh . Doktoryzował się. z Carnegie Mellon University w 1991 roku. Jego badania obejmują pracę nad językami programowania , statycznymi systemami typów , programowaniem rozproszonym , agentami mobilnymi , obliczeniami procesów i prywatnością różnicową .

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

W 2012 roku Pierce został ACM Fellow 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 artykuł dotyczący 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 poza [...] Mówiąc szerzej, artykuł zapoczątkował wiele dalszych prac w obszarze BX („ transformacje dwukierunkowe ”), prowadząc do owocnej współpracy między światem baz danych, języków programowania i inżynierii oprogramowania ”.

Książki

Jest autorem jednej książki o systemach krojów , Typy i języki programowania ISBN 0-262-16209-1 . Zredagował także zbiór artykułów, aby stworzyć drugi tom Zaawansowane tematy w typach i językach programowania ISBN 0-262-16228-8 . Na podstawie notatek zebranych podczas uczenia się teorii kategorii w trakcie doktoratu, opublikował również wstępną książkę 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 .