Yin Wang

Principal Engineer at F5

Tokyo, Japan
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Yin Wang is a Principal Engineer based in Tokyo with 14 years of experience applying programming language theory and type systems to real-world systems. Trained as a computer scientist at Tsinghua, Indiana University Bloomington, and Cornell, Yin specializes in interpreters, compilers, and practical solutions for concurrency and performance. He has built multiple large-scale systems from the ground up and delivered hands-on improvements in production at companies including F5, Intel, Microsoft, and Shape Security. An active contributor to code-analysis tooling, he led core backend work on rubysonar, a semantic Ruby indexer with interprocedural type inference. Known for bringing deep theory into production engineering, he combines a researcher’s rigor with a life-hacker’s emphasis on continual, practical optimization.
code14 years of coding experience
job7 years of employment as a software developer
bookMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at Indiana University Bloomington
bookMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at Cornell University
bookComputer Science, Computer Science at Tsinghua University
bookBachelor of Engineering - BE, Computer Science, Bachelor of Engineering - BE, Computer Science at 四川大学
languagesChinese, English
github-logo-circle

Github Skills (8)

type-inference10
code-analysis10
parsing10
parse10
ast-parser10
ruby10
javas8
java8

Programming languages (6)

JavaC++SchemeJavaScriptGoPython

Github contributions (5)

github-logo-circle
yinwang0/rubysonar

Dec 2013 - Nov 2019

A semantic indexer for Ruby with interprocedual type inference
Role in this project:
userBack-end Developer
Contributions:193 commits, 4 PRs, 6 pushes in 5 years 11 months
Contributions summary:Yin primarily contributed to the core logic of the RubySonar project, modifying code related to semantic indexing, type inference, and code analysis. They made changes to the handling of language constructs, identifiers and class structure, as well as adding and modifying the AST cache, and the parser. Their work involved significant refactoring and renaming of code elements to fit with the project's Ruby focus, showing a strong understanding of the codebase and its purpose.
inferencerubycode-indexcode-searchcode-analysis
yinwang0/pysonar2

Oct 2013 - May 2022

Contributions:5 reviews, 528 commits, 34 PRs in 8 years 7 months
semanticpythonindexinferencecode-search
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.
Request Free Trial
Yin Wang - Principal Engineer at F5