Masahiro Sakai

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

Masahiro Sakai

株式会社Preferred Networks / Engineer

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

株式会社Preferred Networks6 years

EngineerPresent

May 2017 - Present

東芝11 years

研究者

Apr 2007 - Apr 2017

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