Lindsey Spratt

Lindsey Spratt is a Lead Developer at Graphstax, working on the LVM - Logic Virtual Machine. With a background in computer science and mathematics, Lindsey has held various roles in companies such as MapFit and HIGHFLEET, Inc. With a Ph.D. in Computer Science from The University of Kansas, Lindsey's expertise lies in ontological deductive database systems and logic programming languages. Throughout their career, Lindsey has worked on projects for organizations like NASA and has a passion for mathematical logic and computer systems.