Javier A
Japan
Summary
🤩
RockstarJavier A is a seasoned software engineer based in Japan with 13 years of experience across the full software lifecycle, from pitching ideas and gathering requirements to shipping production-ready systems. He has a deep curiosity for internals and a craftsperson’s approach to writing clean, maintainable code that solves real problems efficiently. Comfortable working end-to-end, he blends hands-on development with thoughtful design to improve performance and reliability. Passionate about his work, he focuses on doing things well rather than just getting them done. An experienced generalist, he often uncovers subtle implementation-level improvements that yield outsized benefits in production.
13 years of coding experience
Github Skills (57)
verification10
ports10
command-line10
macos10
package-manager10
java8
macports8
dafny8
programming-language8
jvm7
guava7
jruby7
concurrency6
coq6
emacs6
Programming languages (9)
Github contributions (5)
user454322/realpath
Sep 2014 - Oct 2022
Contributions:1 release, 72 commits, 15 pushes in 8 years 2 months
user454322/browserid-verifier
Feb 2014 - Apr 2017
Contributions:2 releases, 132 commits, 24 pushes in 3 years 2 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.