Benjamin Crawford Pierce es profesor 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 en la Universidad Carnegie Mellon en 1991. Su investigación incluye trabajos sobre lenguajes de programación , sistemas de tipos estáticos , programación distribuida , agentes móviles , cálculos 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 se convirtió en miembro de ACM [2] por "contribuciones a la teoría y la práctica de los lenguajes de programación y sus sistemas de tipos". En 2015, Pierce y coautores recibieron el premio al artículo más influyente de Principles of Programming Languages [3] , que se describió como "fundamental para llevar el problema de actualización de vistas a la atención de la comunidad de lenguajes de programación y demostrar la amplia relevancia del problema más allá de las bases de datos . [...] En términos más generales, el artículo provocó una gran cantidad de trabajo de seguimiento en el área de BX (" transformaciones bidireccionales "), lo que llevó a una colaboración fructífera entre los mundos de las bases de datos, los lenguajes de programación y la ingeniería de software ".
Es autor de un libro sobre sistemas de tipos , Types and Programming Languages ISBN 0-262-16209-1 . Tambié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-8 . Basándose en las notas que recopiló mientras aprendía teoría de categorías durante su doctorado, también publicó un libro introductorio sobre este tema: Basic Category Theory for Computer Scientists , ISBN 0-262-66071-7 . Es uno de los autores del libro de libre acceso Software Foundations.