Benjamin C. Pierce - Benjamin C. Pierce
Benjamin C. Pierce | |
---|---|
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
- ^ "Benjamin C. Pierce" .
- ^ "Benjamin Pierce" . premi.acm.org . Estratto il 10/09/2019 .
- ^ "Premio di carta POPL più influente" . www.sigplan.org . Estratto il 10/09/2019 .
link esterno
- Homepage del Prof. Pierce
- Benjamin C. Pierce al DBLP Bibliography Server
- Benjamin C. Pierce al Progetto Genealogia Matematica