Kazuhiro Funakoshi

Senior Engineer at American Furukawa Inc.

California, United States
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
Kazuhiro Funakoshi is a senior engineer based in California with seven years of professional experience bridging research and industry, currently exploring cybersecurity through Google training while leading engineering work at American Furukawa. He brings a rare combination of academic depth—doctoral work in informatics from The University of Tokyo—and practical systems experience across embedded SoC, Hadoop MapReduce, ML text processing, and web backends (Play/Finagle). An active open-source author, he created Qu4s, a Scala library that generates OpenQASM and aims to integrate a novel quantum circuit simulator directly into Java/Scala web apps. Comfortable in Scala (his preferred language) and learning Rust, he also has hands-on exposure to Java, Python, formal verification (SPIN/Promela, Coq), and cloud applications from his NEC and National Institute of Informatics roles. His profile reflects a blend of low-level systems know-how, formal-methods rigor, and an experimental drive to bring quantum tooling into conventional web stacks.
code8 years of coding experience
job9 years of employment as a software developer
bookUniversity of Tokyo
bookMaster, Engineering, Master, Engineering at 金沢大学 / Kanazawa University
languagesJapanese, Chinese, English
github-logo-circle

Github Skills (59)

console10
windows10
command-line10
cmd10
windows-console9
windows-terminal9
zeplin7
emacs7
vim6
filesystem6
alpine-linux4
pytorch4
filetype4
scala4
code-generation4

Programming languages (9)

TypeScriptShellC++RustOCamlScalaJavaScriptEmacs Lisp

Github contributions (5)

github-logo-circle
Pandoc for Japanese based on Alpine Linux
Contributions:11 commits, 11 pushes in 1 year 10 months
alpine-linuxpandoc
kazuf3/tree

Nov 2021 - Mar 2025

Contributions:1 push, 1 branch in 3 years 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.
Request Free Trial
Kazuhiro Funakoshi - Senior Engineer at American Furukawa Inc.