Christopher Conway
Staff Software Engineer at Waymo
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolChristopher Conway is a Staff Software Engineer in San Francisco with 16 years of experience building production-grade systems at Google and Waymo, where he progressed from software engineer to staff-level leadership on infrastructure and analysis platforms. He drove significant efficiency gains at Google’s Tricorder static analysis platform—moving compiler analyses into build time and cutting production footprint by 70%—and has led integrations that migrated hundreds of clients. Christopher combines deep research roots (Ph.D. work and research internships at Alcatel-Lucent and Microsoft) with hands-on backend and parser engineering, contributing to the open-source cvc5 theorem prover by implementing boolean parsing and operator-precedence logic. Comfortable in both large-scale distributed systems and language/analysis tooling, he is known for translating complex static-analysis and testing requirements into maintainable, scalable implementations. His background suggests a rare blend of compiler-theory expertise and pragmatic production engineering that accelerates engineering velocity while reducing operational costs.
16 years of coding experience
16 years of employment as a software developer
M.S. Computer Science, M.S. Computer Science at The City College of New YorkPh.D. Computer Science, Ph.D. Computer Science at New York UniversityM.S. Computer Science, M.S. Computer Science at Columbia University
Stackoverflow
55,601reputation
5.7mreached
154answers
50questions
ocaml
top-5%
reverse
top-5%
java
top-5%
regex
top-5%
lazy-evaluation
top-5%
haskell
top-5%
Github Skills (37)
algorithm10
tail-recursion10
boolean-logic10
editor10
recursion10
emacs10
antlr10
functional-programming10
polymorphism9
text-editor9
c-language9
functor9
java9
ocaml9
multithreading9
Programming languages (4)
Github contributions (5)
cvc5/cvc5
Nov 2009 - Dec 2015
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Role in this project:
Back-end Developer & Language Parser Engineer
Back-end Developer & Language Parser EngineerContributions:186 commits, 1 PR, 2 pushes in 6 years 1 month
Contributions summary:Christopher contributed to the development of the CVC5 theorem prover by implementing a partial parser for boolean expressions and enhancing the parsing capabilities of the system. Their work included creating parsing logic, dealing with operator precedence, and integrating parsing components. The contributions spanned multiple files related to the parser, including lexer, parser, and include files, indicating a focus on improving the core functionality of the theorem prover.
proversatisfiabilitysmtproblemssatisfiability-modulo-theories
clconway/shipshape
Apr 2015 - Feb 2019
Contributions:13 pushes, 12 branches, 3 tags in 3 years 11 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.