Andrew Teylu
Product Expert at VECTOR Informatik
Pool, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolAndrew Teylu is a Product Expert and remote technology lead with a Ph.D. in formal methods and over a decade of experience applying rigorous verification techniques to distributed, concurrent, and autonomous systems. He leads Vector Informatik’s Advanced Code Analysis group, blending static analysis, dynamic testing, programming language research and software security to push low-TRL innovations toward product readiness. A hands-on engineer as well as an architect and build specialist, he contributes to major open-source theorem provers such as cvc5 and Z3—improving core SMT functionality and Python APIs—which reflects his deep expertise in automated reasoning and toolchain reliability. His background in avionics and standards (DO-178C family) means he routinely bridges demanding safety/certification constraints with practical engineering. Fully remote and adept at coordinating distributed teams, he excels at translating academic research into dependable developer tooling that raises software quality.
10 years of coding experience
7 years of employment as a software developer
Ph.D., Formal Methods and Model Checking for Autonomous Systems, Ph.D., Formal Methods and Model Checking for Autonomous Systems at Imperial College LondonFelpham Community College
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (29)
c-language10
python10
apidoc10
scripting10
patch10
solver10
build-system10
script10
api10
build-automation10
z310
sh10
theorem-proving10
shell10
cprogramming-language10
Programming languages (17)
Github contributions (5)
cvc5/cvc5
Jul 2019 - Sep 2022
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:40 reviews, 27 commits, 45 PRs in 3 years 2 months
Contributions summary:Andrew primarily contributed to the core functionality of the cvc5 theorem prover, focusing on code improvements and bug fixes. Their work included removing forward declarations of undefined functions, cleaning up declarations of wrapped functions, and renaming command-line options. Furthermore, the user implemented checks related to the build configuration for the bitvector SAT solver and added support for printing the "get-abduct" command in verbose mode. Additionally, the user fixed an error message in model checking and made contributions to the supporting libraries/infrastructure for the theorem prover.
proversatisfiabilitysmtproblemssatisfiability-modulo-theories
facebook/infer
May 2020 - Nov 2021
A static analyzer for Java, C, C++, and Objective-C
Role in this project:Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:2 reviews, 8 commits, 8 PRs in 1 year 6 months
Contributions summary:Andrew primarily contributed to bug fixes and improvements to the build system. They fixed a spelling error in the documentation and addressed issues related to missing dependencies in the `facebook-clang-plugins`. Furthermore, the user made modifications to the build scripts and environment configurations, specifically regarding how the `TMPDIR` variable is handled. Their work also included patching LLVM's benchmark registration process.
static-analyzerobjective-ccppstatic-code-analysiscode-quality
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.