Robert William " Bob " Harper, Jr. (nacido en 1957 (66-67 años) [1] ) es un profesor de informática en la Universidad Carnegie Mellon que trabaja en la investigación de lenguajes de programación . Antes de ocupar su puesto en Carnegie Mellon, Harper fue investigador en la Universidad de Edimburgo . [2]
Harper hizo importantes contribuciones al diseño del lenguaje de programación Standard ML y al marco lógico LF .
Harper fue nombrado miembro de ACM en 2005 por sus contribuciones a los sistemas de tipos para lenguajes de programación. En 2021, recibió el premio ACM SIGPLAN Programming Languages Achievement Award por sus "contribuciones fundamentales a nuestra comprensión de la teoría de tipos y su uso en el diseño, especificación, implementación y verificación de lenguajes de programación modernos". [3]
En 2003-2008, Harper presentó el programa de entrevistas progresivo Left Out en WRCT-FM con su colega presentador y miembro de la facultad de la Facultad de Ciencias de la Computación de la Universidad Carnegie Mellon, Danny Sleator .