Gary Lindstrom is an Emeritus Professor of Computer Science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

 at the University of Utah

University of Utah

The University of Utah, also known as the U or the U of U, is a public, coeducational research university in Salt Lake City, Utah, United States. The university was established in 1850 as the University of Deseret by the General Assembly of the provisional State of Deseret, making it Utah's oldest...

, having taught previously at the University of Pittsburgh

University of Pittsburgh

The University of Pittsburgh, commonly referred to as Pitt, is a state-related research university located in Pittsburgh, Pennsylvania, United States. Founded as Pittsburgh Academy in 1787 on what was then the American frontier, Pitt is one of the oldest continuously chartered institutions of...

. He retired in July 2007.

Gary Lindstrom made numerous contributions to areas of data management, verification, and programming language

Programming language

A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....

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.

External links

• Gary Lindstrom's website