Benjamin C. Pierce - Benjamin C. Pierce

Benjamin C. Pierce
Benjamin C. Pierce
	Mathematical Foundations of Programming Semantics 24 (Philadelphia, maj 2008)
Alma Mater	Carnegie Mellon University
Kendt for	Typer og programmeringssprog
	Videnskabelig karriere
Afhandling	Programmering med krydsningstyper og afgrænset polymorfisme (1991)
Doktorvejleder	Robert Harper ; John C. Reynolds

Benjamin Crawford Pierce er Henry Salvatori -professor i datalogi ved University of Pennsylvania . Pierce sluttede sig til Penn i 1998 fra Indiana University og havde forskerstillinger ved University of Cambridge og University of Edinburgh . Han modtog sin ph.d. fra Carnegie Mellon University i 1991. Hans forskning omfatter arbejde med programmeringssprog , statiske typesystemer , distribueret programmering , mobile agenter , procesberegninger og differentielt privatliv .

Som en del af sin forskning har Pierce ledet udviklingen af flere open source-softwareprojekter , herunder Unison -filsynkroniseringsværktøjet .

I 2012 blev Pierce ACM -stipendiat for "bidrag til teori og praksis om programmeringssprog og deres typesystemer". I 2015 modtog Pierce og medforfattere prisen for de mest indflydelsesrige papirer om programmeringssprog , der blev beskrevet som "medvirkende til at gøre problemerne med visningsopdateringen opmærksom på programmeringssprogssamfundet og demonstrere problemets brede relevans ud over databaser. [...] Mere generelt udløste avisen et stort opfølgningsarbejde inden for BX (" tovejs transformationer "), hvilket førte til et frugtbart samarbejde mellem databaser, programmeringssprog og software engineering . "

Bøger

Han er forfatter til en bog om typesystemer , Typer og programmeringssprog ISBN 0-262-16209-1 . Han har også redigeret en samling artikler for at oprette et andet bind Avancerede emner i typer og programmeringssprog ISBN 0-262-16228-8 . Baseret på de noter, han samlede, mens han lærte kategoriteori under sin ph.d., udgav han også en introduktionsbog om dette emne- Grundlæggende kategoriteori for computerforskere , ISBN 0-262-66071-7 . Han er en af forfatterne til den frit tilgængelige bog Software Foundations .