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.