Kyle Wetzler
SDE II at Amazon Web Services (AWS)
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolKyle Wetzler is an SDE II with 13 years of software engineering experience, currently building data ingestion and streaming infrastructure at AWS after recent roles on AWS MSK and Amazon Data Firehose. He combines a formal background in Computer Science and Mathematics from Penn State Schreyer Honors College with hands-on backend work in Java, Spring, SQL, and distributed systems honed at Rivian, Comcast, and KPMG. Kyle has shipped production services, CI/CD pipelines, and fault-tolerant cloud architectures—spearheading a multi-site AWS migration and high-throughput Django deployments for Penn State THON. He brings a developer-product mindset focused on engineering productivity and reliable data pipelines, and enjoys translating mathematical curiosity into practical tooling (including a personal project simulating the Fourier Transform). Based in San Francisco, he’s drawn to problems that let him keep “racing to learn” while delivering scalable, operational systems.
13 years of coding experience
5 years of employment as a software developer
Bachelor's degree, Mathematics and Computer Science, Bachelor's degree, Mathematics and Computer Science at Schreyer Honors College at Penn State
Github Skills (36)
crypto10
tlaplus10
ssl10
tla10
rewriting10
verification10
fhe10
c9910
common-lisp10
checker10
cryptography10
protocols10
encryption10
logic10
model-checking9
Programming languages (7)
Github contributions (5)
nwetzler/cbmc
Apr 2022 - Dec 2022
C Bounded Model Checker
Contributions:32 pushes, 4 branches in 8 months
model-checkermodel-checkingcheckertla
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.