Jun Furuse
Researcher at 大学共同利用機関法人 情報・システム研究機構
Japan
Summary
👤
Senior🎓
Top SchoolJun Furuse is a seasoned researcher and engineer with 27 years of experience specializing in programming languages, type systems, compilation, and functional programming (OCaml and Haskell). He has blended academic rigor—leading projects on information-flow secure compilation and earning a PhD-level background—with industry impact at firms like Jane Street and Standard Chartered, building robust trading and risk systems. As founder of DaiLambda he now provides formal verification and consultancy for critical systems and cryptocurrencies, and he continues research work at a national information and systems institute in Japan. His open-source contributions include hands-on improvements to the core OCaml graphics library, demonstrating attention to low-level correctness and usability in a widely used compiler ecosystem. Known for turning formal methods into practical, scalable systems, he frequently bridges the gap between proof-oriented research and production-grade engineering.
27 years of coding experience
16 years of employment as a software developer
Ph.D, Computer science, Ph.D, Computer science at Université Paris CitéPh.D, Computer science, Ph.D, Computer science at INRIADoctorial study (terminated), Computer science, Doctorial study (terminated), Computer science at Kyoto University
English, Japanese, French
Stackoverflow
8,990reputation
210kreached
186answers
2questions
ocaml
top-1%
functional-programming
top-5%
printing
top-5%
Github Skills (16)
functional-programming10
functional-programming-language10
graphics-programming10
functional10
ocaml10
x119
printing9
compiler-compiler8
compiler8
opam6
compiler-errors6
algebraic-data-types6
runtimes6
abstract-syntax-tree6
functor6
Programming languages (12)
Github contributions (5)
ocaml/ocaml
Feb 1999 - Sep 2017
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:183 commits, 1 PR, 4 comments in 18 years 10 months
Contributions summary:Jun primarily focused on improving the OCaml graphics library. They optimized the color query for true color map images, incorporating direct RGB calculations. Additionally, the user added functionality, including testing for transparent color drawing and implementing a window ID function and subwindow management features within the graphics library, enhancing its capabilities. These modifications suggest a focus on core graphics functionality and usability.
functional-languagecompilersruntime-systemapllwt
Pitometsu/ppx_implicits
Apr 2015 - Jun 2018
Contributions:487 commits 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.