Jun Furuse

Jun Furuse Email and Phone Number

Researcher @ 大学共同利用機関法人 情報・システム研究機構
Japan
Jun Furuse's Location
Japan, Japan
Jun Furuse's Contact Details

Jun Furuse personal email

About Jun Furuse

Specialties: Programming language, type system, compilation, functional programming (OCaml and Haskell).Interested in building robust and scalable systems using strongly typed languages and formal methods.

Jun Furuse's Current Company Details
大学共同利用機関法人 情報・システム研究機構

大学共同利用機関法人 情報・システム研究機構

View
Researcher
Japan
Jun Furuse Work Experience Details
  • 大学共同利用機関法人 情報・システム研究機構
    Researcher
    大学共同利用機関法人 情報・システム研究機構
    Japan
  • Dailambda
    Founder
    Dailambda Sep 2018 - Present
    Kyoto, Japan
    Just founded a new R&D and consultant company to provide formal verification to critical systems, cryptocurrencies, etc.
    View
  • Tezos Japan Foundation
    Scientific Director
    Tezos Japan Foundation Nov 2018 - Jul 2020
    Tokyo, Japan
  • Asahinet, Inc.
    Lead Developer
    Asahinet, Inc. Apr 2017 - Jun 2018
    Kyoto
    R&D in Kyoto to design and develop HA clusters in Haskell.
  • Standard Chartered Bank
    Associate Quantitative Developer
    Standard Chartered Bank May 2010 - Feb 2017
    Singapore
    Development of derivative risk analysis framework "Cortex", using Haskell and C++.As a member of "Cortex Core" team, I work on building robust base systems for derivative pricing, such as strict version of Haskell DSL programming environment, market and reference data servers, visualizing financial data, various risk pricing tools.
    View
  • Jane Street
    Quantitative Researcher
    Jane Street Apr 2008 - Apr 2010
    Tokyo, Japan
    Development of highly robust and secure systems for high frequency trading in functional programming language OCaml.Design and implementation of ETF information scraper. Development of order monitor system and position management server. OCaml compiler and programming tool enhancements.
    View
  • The University Of Tokyo
    Researcher
    The University Of Tokyo 2004 - Mar 2008
    Tokyo, Japan
    Led a project to study information flow type systems and implemented an information flow secure C compiler, which compiles legacy C programs to memory secure executables without secrecy leaks to attackers.
    View
  • Lexifi
    Post-Doc
    Lexifi 2003 - 2004
    Paris, France
    Joined the initial development of domain specific functional language MLFi, specialized for derivative pricing and managements and its semantics of financial primitives. Built several GUI tools for contract evaluation and Monte Carlo simulation manager.
    View

Jun Furuse Skills

Ocaml Haskell Functional Support Type Systems Algorithms Programming Languages Computer Science Functional Programming Compilers Machine Learning Distributed Systems Derivatives Python

Jun Furuse Education Details

Frequently Asked Questions about Jun Furuse

What company does Jun Furuse work for?

Jun Furuse works for 大学共同利用機関法人 情報・システム研究機構

What is Jun Furuse's role at the current company?

Jun Furuse's current role is Researcher.

What is Jun Furuse's email address?

Jun Furuse's email address is ju****@****ail.com

What schools did Jun Furuse attend?

Jun Furuse attended Université Paris Cité, Inria, Kyoto University, Kyoto University.

What skills is Jun Furuse known for?

Jun Furuse has skills like Ocaml, Haskell, Functional Support, Type Systems, Algorithms, Programming Languages, Computer Science, Functional Programming, Compilers, Machine Learning, Distributed Systems, Derivatives.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.