Tao Feng
Staff Software Engineer at Google
California, United States
Summary
🤩
Rockstar🎓
Top SchoolTao Feng is a Staff Software Engineer based in California with more than two decades of experience bridging formal verification research and large-scale search and advertising systems. After a Ph.D. in Electrical and Computer Engineering, he spent a decade architecting and parallelizing formal verification datapaths and SAT/Binary Decision Graph solvers at Cadence, then transitioned to drive backend engineering for Google Search and Ads. He combines deep algorithmic knowledge of symbolic methods and constraint solvers with practical expertise in distributed computing and high-throughput production systems. Tao is comfortable moving between low-level verification algorithms and product-facing, latency-sensitive infrastructure, making him effective at turning research-grade techniques into operational services. Colleagues describe him as a pragmatic architect who mentors engineers while shipping robust, scalable solutions. An understated strength is his ability to translate formal methods into tangible performance gains in commercial systems.
3 years of coding experience
10 years of employment as a software developer
Bachelor's degree, Electrical Engineering, Bachelor's degree, Electrical Engineering at Fudan UniversityDoctor of Philosophy (Ph.D.), Electrical and Computer Engineering, Doctor of Philosophy (Ph.D.), Electrical and Computer Engineering at University of California, Santa Barbara
Github Skills (13)
prompt-engineering10
prompt-tuning10
api10
autogpt10
prompt10
midjourney10
fine-tuning9
python9
llm9
generative-ai9
ai9
stable-diffusion9
openai4
Programming languages (2)
Github contributions (5)
oliverfeng/langchain
Apr 2023 - Apr 2023
⚡ Building applications with LLMs through composability ⚡
Contributions:4 pushes in 9 days
YiVal/YiVal
Jul 2023 - Feb 2024
Your Automatic Prompt Engineering Assistant for GenAI Applications
Contributions:1 release, 8 reviews, 67 PRs in 6 months
aiai-experimentsai-toolkitaigcapi
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.