Wataru Hino
Software Engineer at Google
Japan
Summary
👤
Senior🎓
Top SchoolWataru Hino is a software engineer with nine years of experience, currently building systems at Google after earlier engineering work at Indeed Japan. He holds a BSc in Mathematics and an MSc in Computer Science from The University of Tokyo, with academic focus on category theory, mathematical logic, and formal verification. That theoretical grounding informs his practical approach to software design, emphasizing correctness and robust abstractions in production code. He brings experience across large-scale product environments in Japan and a track record of moving from research-grade ideas to maintainable engineering practices. Colleagues would describe him as methodical and curious, comfortable translating mathematical concepts into pragmatic solutions. Based in Tokyo, he blends deep formal training with hands-on industry experience to tackle complex engineering challenges.
9 years of coding experience
2 years of employment as a software developer
University of Tokyo
Japanese, English
Github Skills (39)
tensorflow-probability9
compilation9
probabilistic-programming9
pyro9
probabilistic9
mcmc9
bayesian-inference9
bayesian-methods9
optimisation8
diffraction8
cpu8
statistics8
probabilistic-reasoning8
machine-learning7
automatic-differentiation7
Programming languages (2)
Github contributions (5)
wataruhashimoto52/wataruhashimoto52.github.io
Sep 2017 - Mar 2025
Contributions:55 pushes, 1 branch in 7 years 7 months
wataruhashimoto52/nmf_tfp
May 2020 - Feb 2022
Implementation of Bayesian Non-negative Matrix Factorization using Variational Inference with TensorFlow Probability
Contributions:9 commits, 6 PRs, 11 pushes in 1 year 8 months
bayesian-inferencematrixtensorflowvariational-inferencenon-negative-matrix-factorization
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.