Benjamin Crawford Pierce es profesor Henry Salvatori [1] de informática en la Universidad de Pensilvania . Pierce se unió 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 incluye trabajos sobre lenguajes de programación , sistemas de tipo estático , 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 sus coautores recibieron el premio por el artículo más influyente sobre Principios de lenguajes de programación , [3] que se describió 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 de el 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, e ingeniería de software ."
Es autor de un libro sobre sistemas de tipos , Tipos y lenguajes de programación ISBN 0-262-16209-1 . También ha editado una colección de artículos para crear un segundo volumen Temas avanzados en tipos y lenguajes de programación ISBN 0-262-16228-8 . Basado 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: Teoría de categorías básicas para científicos informáticos , ISBN 0-262-66071-7 . Es uno de los autores del libro Software Foundations, disponible gratuitamente.