Benjamin Crawford Pierce es el 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 Ph.D. 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álculo de procesos y privacidad diferencial.
Benjamin C. Pierce | |
---|---|
alma mater | Universidad de Carnegie mellon |
Conocido por | Tipos y lenguajes de programación |
Carrera científica | |
Tesis | Programación con tipos de intersección y polimorfismo acotado (1991) |
Asesor de doctorado | Robert Harper John C. Reynolds |
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 al artículo más influyente sobre los principios de los lenguajes de programación, [3] que se describió como "fundamental para llevar el problema de la vista-actualización 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 documento provocó una gran cantidad de trabajo de seguimiento en el área de BX ("transformaciones bidireccionales"), lo que llevó a una fructífera colaboración entre los mundos de las bases de datos, los lenguajes de programación e ingeniería de software ".
Libros
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 de 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ásica para científicos informáticos , ISBN 0-262-66071-7 . Es uno de los autores del libro Software Foundations, disponible gratuitamente .
Ver también
Referencias
- ^ https://www.seas.upenn.edu/directory/profile.php?ID=72
- ^ "Benjamin Pierce" . awards.acm.org . Consultado el 10 de septiembre de 2019 .
- ^ "Premio al papel POPL más influyente" . www.sigplan.org . Consultado el 10 de septiembre de 2019 .
enlaces externos
- Página de inicio del Prof. Pierce
- Benjamin C. Pierce en el servidor de bibliografía DBLP
- Benjamin C. Pierce en el Proyecto de genealogía matemática