Summary
David Barbour is a Senior Engineer with 14 years of experience specializing in programming languages, distributed and real-time systems, and secure, extensible architectures. He currently develops mixed hardware-software tester systems for hardware-in-loop verification and previously led experiments in programming language design as an independent computer scientist. His background includes robotics control software for unmanned vehicles, giving him practical systems and embedded-systems experience alongside academic-strength foundations (BS Computer Science, 3.7+). Proficient in Haskell, Java, JavaScript, and Awelon, he favors principled, compositional approaches—object-capability security and reactive demand programming feature heavily in his work. Based in Overland Park, KS, he’s curious about game development, AR, ubiquitous computing, and ML-driven languages, though he hasn’t pursued those professionally yet. He prefers roles focused on language-level thinking and systems composition rather than traditional C++ application work.
14 years of coding experience
13 years of employment as a software developer
University of Kansas
Associate's Degree, Mathematics and Computer Science, Organic Chemistry, 3.9, Associate's Degree, Mathematics and Computer Science, Organic Chemistry, 3.9 at Johnson County Community College