Gordon Plotkin
Gordon Plotkin · Technologie & ingénierie
Gordon Plotkin est un informaticien théoricien britannique de l'université d'Édimbourg dont la sémantique opérationnelle structurelle offrit une manière rigoureuse et très répandue de définir le sens des langages de programmation, et qui apporta des contributions fondamentales à la théorie des domaines, à la théorie des types et aux logiques du calcul.
1946, Glasgow, Écosse
Royaume-Uni
Gordon Plotkin est un informaticien théoricien britannique de l'université d'Édimbourg dont la sémantique opérationnelle structurelle offrit une manière rigoureuse et très répandue de définir le sens des langages de programmation, et qui apporta des contributions fondamentales à la théorie des domaines, à la théorie des types et aux logiques du calcul. Il est considéré comme l'une des figures les plus influentes de la théorie des langages de programmation. Il est d'origine juive et figure parmi les informaticiens juifs recensés.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Gordon Plotkin est un informaticien théoricien britannique de l'université d'Édimbourg dont la sémantique opérationnelle structurelle offrit une manière rigoureuse et très répandue de définir le sens des langages de programmation, et qui apporta des contributions fondamentales à la théorie des domaines, à la théorie des types et aux logiques du calcul.
Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
