Lindstrom made numerous contributions to areas of data management, verification, and programming language design, specification and implementation. He has served as an IEEE Computer Society Distinguished Visitor. According to his website, Dr. Lindstrom served as founding Editor in Chief of the International Journal of Parallel Programming from 1986 to 1993. He co-edited, with Doug DeGroot, the book Logic Programming: Functions, Relations and Equations, Prentice-Hall, 1986.
Lindstrom is a graduate of Carnegie Mellon University, where he earned B.S. and M.S. degrees in mathematics, and a Ph.D. in computer science.
- http://www.cs.utah.edu/~gary/ Gary Lindstrom's website