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.