Gary Lindstrom

Gary Edward Lindstrom is an Emeritus Professor of Computer Science at the University of Utah, having taught previously at the University of Pittsburgh. He retired in July 2007.

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.

...
Wikipedia