Benjamin C. Pierce - Benjamin C. Pierce

Benjamin C. Pierce
Benjamin C. Pierce.jpg
Alma mater Università Carnegie Mellon
Conosciuto per Tipi e linguaggi di programmazione
Carriera scientifica
Tesi Programmazione con tipi di intersezione e polimorfismo limitato  (1991)
Consulente di dottorato Robert Harper
John C. Reynolds

Benjamin Crawford Pierce è Henry Salvatori Professor of Computer Science presso l' Università della Pennsylvania . Pierce è entrato in Penn nel 1998 dall'Università dell'Indiana e ha ricoperto incarichi di ricerca presso l' Università di Cambridge e l' Università di Edimburgo . Ha conseguito il dottorato di ricerca. alla Carnegie Mellon University nel 1991. La sua ricerca include lavori su linguaggi di programmazione , sistemi di tipo statico , programmazione distribuita , agenti mobili , calcoli di processo e privacy differenziale .

Come parte della sua ricerca, Pierce ha guidato lo sviluppo di diversi progetti software open source , inclusa l' utilità di sincronizzazione dei file Unison .

Nel 2012 Pierce è diventato un ACM Fellow per "contributi alla teoria e alla pratica dei linguaggi di programmazione e dei loro sistemi di tipi". Nel 2015 Pierce e co-autori hanno ricevuto il premio per il più influente articolo sui principi dei linguaggi di programmazione , che è stato descritto come "strumentale nel portare il problema dell'aggiornamento delle viste all'attenzione della comunità dei linguaggi di programmazione e dimostrare l'ampia rilevanza del problema al di là [...] Più in generale, il documento ha suscitato una grande quantità di lavoro successivo nell'area di BX (" trasformazioni bidirezionali "), portando a una proficua collaborazione tra il mondo dei database, dei linguaggi di programmazione e dell'ingegneria del software ."

Libri

È autore di un libro sui sistemi di tipi , tipi e linguaggi di programmazione ISBN  0-262-16209-1 . Ha anche curato una raccolta di articoli per creare un secondo volume Advanced Topics in Types and Programming Languages ISBN  0-262-16228-8 . Sulla base delle note raccolte durante l'apprendimento della teoria delle categorie durante il dottorato di ricerca, ha anche pubblicato un libro introduttivo su questo argomento: Teoria delle categorie di base per scienziati informatici , ISBN  0-262-66071-7 . È uno degli autori del libro Software Foundations disponibile gratuitamente .

Guarda anche

Riferimenti

  1. ^ "Benjamin C. Pierce" .
  2. ^ "Benjamin Pierce" . premi.acm.org . Estratto il 10/09/2019 .
  3. ^ "Premio di carta POPL più influente" . www.sigplan.org . Estratto il 10/09/2019 .

link esterno