400万人が利用する会社訪問アプリ

Masahiro Sakai

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

登録してプロフィールを閲覧

Masahiro Sakai

株式会社Preferred Networks / Engineer

登録してプロフィールを閲覧

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

株式会社Preferred Networks7年間

Engineer現在

2017年5月 - 現在

東芝11年間

研究者

2007年4月 - 2017年4月

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