Jump to content

Gary Lindstrom

From Wikipedia, the free encyclopedia
(Redirected from Gary lindstrom)
Gary Edward Lindstrom
BornJanuary 8, 1944[2]
DiedJanuary 10, 2022
Alma materCarnegie Mellon University
Scientific career
FieldsComputer science
Institutions
Thesis Variability in Language Processors[1]  (1971)
Doctoral advisorAlan Perlis
Doctoral studentsMary Lou Soffa
Websitewww.cs.utah.edu/~gary/

Gary Edward Lindstrom (January 8, 1944 – January 10, 2022) was an Emeritus Professor of Computer Science at the University of Utah, having previously taught at the University of Pittsburgh. He retired in July 2007 and died on January 10, 2022.[3]

Lindstrom made numerous contributions to areas of data management, verification, and programming language design, specification and implementation. He served as an IEEE Computer Society Distinguished Visitor. According to his website, Dr. Lindstrom served as the founding editor-in-chief the International Journal of Parallel Programming (ISSN 0885-7458) from 1986 to 1993.[4] He co-edited, with Doug DeGroot, the book Logic Programming: Functions, Relations and Equations, which was first published by Prentice-Hall in 1986.[5]

Lindstrom was a graduate of Carnegie Mellon University, where he earned B.S. and M.S. degrees in mathematics, and a Ph.D. in computer science under Alan Perlis.

References

[edit]