Masahiro Sakai

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

Masahiro Sakai

株式会社Preferred Networks / Engineer

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

株式会社Preferred Networksの会社情報

株式会社Preferred Networks6 years


- 現在

東芝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


  • English - Professional
  • Japanese - Native