Gary Lindstrom

From Wikipedia, the free encyclopedia

Gary Lindstrom is a Professor of Computer Science at the University of Utah, having taught previously at the University of Pittsburgh.

Gary Lindstrom has 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. 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. External web page