Gary Lindstrom

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.

[3] Lindstrom made numerous contributions to areas of data management, verification, and programming language design, specification and implementation.

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.

degrees in mathematics, and a Ph.D. in computer science under Alan Perlis.