Bill Kocik
Principal Software Engineer at Yahoo Finance
Shepherdstown, West Virginia, United States
Summary
👤
Senior🎓
Top SchoolBill Kocik is a Principal Software Engineer with 17 years of experience building production ML, AI, and cloud systems that solve real business problems, currently leading ML and data science initiatives at Yahoo Finance. He has a track record at Amazon designing cloud solutions for consumer robotics and inventing practical security and scanning methods for AWS, and earlier roles span large-scale web architectures, mobile apps, and high-performance DNS systems. Bill blends hands-on engineering with technical leadership—mentoring teams, architecting resilient services, and shipping models that turn financial and operational data into actionable insight. His MS in Computational Perception and Robotics underpins a pragmatic approach to applied AI, and he’s comfortable translating research into deployable products rather than hype. Based in Shepherdstown, WV, he’s the kind of engineer who moves from low-level performance tuning to cloud-native service design while keeping product impact front and center.
17 years of coding experience
23 years of employment as a software developer
Bachelor's, Applied Mathematics, Bachelor's, Applied Mathematics at Southern New Hampshire UniversityMaster of Science - MS, CS: Computational Perception and Robotics, Master of Science - MS, CS: Computational Perception and Robotics at Georgia Institute of Technology
Github Skills (50)
sat10
aws-amplify9
frontend8
serverless8
smt8
sat-solver8
solver8
terraform-registry8
aws8
aws-lambda8
graph8
ionic8
tla8
ui-components7
javascript7
Programming languages (8)
Github contributions (5)
bkocik/monosat
Sep 2019 - Mar 2021
MonoSAT - An SMT solver for Monotonic Theories
Contributions:3 pushes in 1 year 6 months
smt-solversmttheoriessolvermonotonic
bkocik/terraform-aws-bedrock
Mar 2025 - Jul 2025
Amazon Bedrock module for generative AI applications available on the Terraform registry.
Contributions:6 pushes, 4 branches in 3 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.