Scott Moore
Principal Scientist at Galois, Inc.
Washington DC-Baltimore Area United States
Summary
👤
Senior🎓
Top SchoolScott Moore is a Principal Scientist at Galois with 14 years of experience advancing programming language techniques and formal methods to make software safer, more correct, and more understandable. His work bridges academia and industry, including a research fellowship in Harvard’s Programming Languages group where he developed a secure shell scripting language and secured funding to commercialize it. Scott’s expertise spans software contracts, capability-based security, information-flow control, static analysis, type systems, and compiler implementation, with practical implementations such as an inter-procedural LLVM information-flow analysis. He has a track record of translating deep research—like termination-based information-security types and cryptographic erasure verification—into tooling and architecture for real-world systems. Based in the Washington DC–Baltimore area, he pairs PhD-level rigor with hands-on engineering at Galois, helping defense and commercial clients build verifiable security properties into software. A less obvious strength is his consistent focus on composable security: designing language-centered mechanisms that scale from scripts to legacy programs.
14 years of coding experience
10 years of employment as a software developer
MS Computer Science, MS Computer Science at The University of Texas at DallasDoctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at Harvard University
Github Skills (52)
stack-based10
racket10
polyglot10
code-golf10
scheme10
mojo10
mate9
programming-language9
datalog9
logic-programming9
pointer9
translator9
compiler8
logic8
program-analysis8
Programming languages (9)
Github contributions (5)
HarvardPL/shill
Oct 2014 - Jun 2017
Contributions:31 commits, 17 pushes, 1 branch in 2 years 8 months
coq-ext-lib/coq-compile
Sep 2012 - Dec 2012
Contributions:105 commits in 2 months
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.