Discover companies you will love

Masahiro Sakai

株式会社Preferred Networks / Engineer神奈川県 川崎市

Masahiro Sakai

株式会社Preferred Networks / Engineer

2007 年 慶應義塾大学大学院政策・メディア研究科修士課程了。 電機メーカの研究部門にて 形式手法、ソフトウェアテストなどのソフトウェア高信頼化の研究に従事した後、現在は Preferred Networks, Inc. にてエンジニアとして働く。 関数型プログラミングや理論計算機科学に興味を持つ。 訳書(共訳)に『抽象によるソフトウェア設計−Alloyではじめる形式手法−』、『型システム入門−プログラミング言語と型の理論−』。

About 株式会社Preferred Networks

株式会社Preferred Networks7 years

EngineerPresent

- Present

東芝11 years

研究者

-

I worked as a researcher for System Engineering Laboratory, Toshiba Research and Development Center. I have worked in software dependability team to develop technology based on formal methods, program analysis, automatic test-case generation to achieve more dependable systems. I have also worked in cities infrastructure solutions team and

Keio University

Graduate School of Media and Governance

Faculty of Policy Management

Shonan High School

Hidden: Education and Experience

View Masahiro Sakai's

Full Profile

This information is visible only to Wantedly users or the user’s connections

View past posts

View mutual connections

View Masahiro Sakai's full profile


Skills

  • 数理計画

    2
    • Michiaki Ariga
    • Takeo Imai

    Recommended by Michiaki Ariga, Takeo Imai

  • Alloy

    1
    • Takeo Imai

    Recommended by Takeo Imai

  • 継続的統合

    1
    • Shuichiro Imahara

    Recommended by Shuichiro Imahara

  • Continuous Integration

    1
    • Shuichiro Imahara

    Recommended by Shuichiro Imahara

  • Haskell

    1
    • Takeo Imai

    Recommended by Takeo Imai

  • Computer Science, モデル検査, Mathematical Optimization and 7 skills

Publications

Accomplishments / Portfolio


言語

  • English - Professional
  • Japanese - Native

Receive Scouts from companies