Lindsey Spratt
Lead Developer at Graphstax
Lawrence, Kansas, United States
Summary
👤
Senior🎓
Top SchoolLindsey Spratt is a veteran system architect and software engineer with a multi-decade career focused on logic programming, programming language design, and data management systems. Currently Lead Developer at Graphstax, Lindsey leads the implementation of an ISO-standard Prolog in the Logic Virtual Machine, reflecting a long-standing thread of building analysis-oriented, highly concurrent, ontological deductive databases. Past work includes extending Multics with data management services, creating CASE tools for IBM COBOL, and designing a visual logic programming language based on set-partitioning constraints—projects that blend formal logic with practical tooling. With advanced degrees from MIT and the University of Kansas and a research background in machine reasoning, Lindsey brings both rigorous theory and hands-on systems craftsmanship. Known for making computer systems “more intelligent,” Lindsey combines deep academic insight with decades of production engineering to solve complex data and reasoning problems. An uncommon strength is the ability to design visual, developer-focused interfaces for sophisticated formal systems, making advanced logic accessible to practitioners.
9 years of coding experience
30 years of employment as a software developer
Ph. D., Ph. D. at University of KansasBS, BS at Massachusetts Institute of Technology
Stackoverflow
226reputation
4kreached
4answers
1question
Github Skills (40)
api10
prolog9
cpp8
game-development8
docker-desktop8
dom8
logtalk8
graphical-user-interface8
imgui8
game-engine7
oop7
user-interface7
wolfram-language7
html6
eclipse6
Programming languages (6)
Github contributions (5)
lindseyspratt/wa-prolog
Jan 2020 - Mar 2020
Contributions:36 commits, 48 pushes, 1 branch in 2 months
lindseyspratt/bacon-logtalk
Jul 2020 - Oct 2021
Bacon system based on "Scientific Discovery" by Langley, Simon, Bradshaw, and Zytkow.
Contributions:7 commits, 1 PR, 6 pushes in 1 year 3 months
baconpythondiscoverysimonwolfram-language
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.