Gordon Plotkin
Gordon Plotkin · Tecnología e ingeniería
Gordon Plotkin es un informático teórico británico de la Universidad de Edimburgo cuya semántica operacional estructural aportó un modo riguroso y muy usado de definir el significado de los lenguajes de programación, y que hizo contribuciones fundamentales a la teoría de dominios, la teoría de tipos y las lógicas de la computación.
1946, Glasgow, Escocia
Reino Unido
Gordon Plotkin es un informático teórico británico de la Universidad de Edimburgo cuya semántica operacional estructural aportó un modo riguroso y muy usado de definir el significado de los lenguajes de programación, y que hizo contribuciones fundamentales a la teoría de dominios, la teoría de tipos y las lógicas de la computación. Se le considera una de las figuras más influyentes de la teoría de lenguajes de programación. Es de origen judío y figura entre los informáticos judíos.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Gordon Plotkin es un informático teórico británico de la Universidad de Edimburgo cuya semántica operacional estructural aportó un modo riguroso y muy usado de definir el significado de los lenguajes de programación, y que hizo contribuciones fundamentales a la teoría de dominios, la teoría de tipos y las lógicas de la computación.
Fuente: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
