Benjamín C. Pierce

Benjamin Crawford Pierce es profesor titular de la cátedra Henry Salvatori ^{[ 1 ]} de informática en la Universidad de Pensilvania . Pierce se incorporó a Penn en 1998 procedente de la Universidad de Indiana y ocupó puestos de investigación en la Universidad de Cambridge y la Universidad de Edimburgo . Recibió su doctorado de la Universidad Carnegie Mellon en 1991. Su investigación abarca trabajos sobre lenguajes de programación , sistemas de tipos estáticos , programación distribuida , agentes móviles , cálculo de procesos y privacidad diferencial .

Como parte de su investigación, Pierce ha liderado el desarrollo de varios proyectos de software de código abierto , incluida la utilidad de sincronización de archivos Unison .

En 2012, Pierce fue nombrado miembro de la ACM ^{[ 2 ]} por sus "contribuciones a la teoría y la práctica de los lenguajes de programación y sus sistemas de tipos". En 2015, Pierce y sus coautores recibieron el premio al artículo más influyente de Principles of Programming Languages ^{[ 3 ]} , que fue descrito como "fundamental para llamar la atención de la comunidad de lenguajes de programación sobre el problema de la actualización de vistas y demostrar la amplia relevancia del problema más allá de las bases de datos . [...] En términos más generales, el artículo impulsó una gran cantidad de trabajos posteriores en el área de BX (" transformaciones bidireccionales "), lo que condujo a una fructífera colaboración entre los mundos de las bases de datos, los lenguajes de programación y la ingeniería de software ".

Libros

Es autor de un libro sobre sistemas de tipos , Types and Programming Languages (ISBN). 0-262-16209-1También ha editado una colección de artículos para crear un segundo volumen, Advanced Topics in Types and Programming Languages (ISBN) . 0-262-16228-8Basándose en las notas que recopiló mientras estudiaba teoría de categorías durante su doctorado, también publicó un libro introductorio sobre este tema: Teoría básica de categorías para científicos informáticos ( ISBN). 0-262-66071-7Es uno de los autores del libro de libre acceso Fundamentos del software .

Véase también

desafío POPLmark

Referencias

^ "Benjamin C. Pierce" .
^ "Benjamin Pierce" . awards.acm.org . Consultado el 10 de septiembre de 2019 .
^ "Premio al artículo POPL más influyente" . www.sigplan.org . Consultado el 10 de septiembre de 2019 .

Enlaces externos

Página principal del profesor Pierce
Benjamin C. Pierce en el servidor de bibliografía DBLP
Benjamin C. Pierce en el Proyecto de Genealogía Matemática

[1] "Benjamin C. Pierce" .

[2] "Benjamin Pierce" . awards.acm.org . Consultado el 10 de septiembre de 2019 .

[3] "Premio al artículo POPL más influyente" . www.sigplan.org . Consultado el 10 de septiembre de 2019 .

[ 1 ]

[ 2 ]

[ 3 ]