« Gary Lindstrom » : différence entre les versions
Créé en traduisant la page « Gary Lindstrom » |
(Aucune différence)
|
Version du 16 décembre 2022 à 11:31
Gary Edward Lindstrom (8 janvier 1944 - 10 janvier 2022) est un informaticien américain, qui termine sa carrière comme professeur émérite d'informatique à l'Université de l'Utah, après avoir enseigné à l'Université de Pittsburgh[1].
Lindstrom apporte de nombreuses contributions dans les domaines de la gestion des données, de la vérification et de la conception, de la spécification et de la mise en œuvre des langages de programmation. Il est rédacteur en chef fondateur de l'International Journal of Parallel Programming (ISSN 0885-7458) de 1986 à 1993[2]. Il co-édite, avec Doug DeGroot, le livre Logic Programming: Functions, Relations and Equations, qui est publié pour la première fois par Prentice-Hall en 1986[3].
Lindstrom est diplômé de l'Université Carnegie Mellon, où il obtient des diplômes BS et MS en mathématiques, et un doctorat en informatique sous la direction d'Alan Perlis .
Références
- « Gary Lindstrom Obituary (1944 - 2022) - Salt Lake City, UT », Legacy.com,
- http://www.cs.utah.edu/~gary/ Gary Lindstrom's website
- Giorgio Levi. Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings, Springer, (ISBN 978-3-540-55873-6, lire en ligne), p. 188