ieeexplore.ieee.org
Keio University / Graduate School of Media and Governance
Masahiro Sakai
株式会社Preferred Networks / Engineer神奈川県 川崎市
400万人が利用する会社訪問アプリ
Masahiro Sakai
株式会社Preferred Networks / Engineer
2007 年 慶應義塾大学大学院政策・メディア研究科修士課程了。 電機メーカの研究部門にて 形式手法、ソフトウェアテストなどのソフトウェア高信頼化の研究に従事した後、現在は Preferred Networks, Inc. にてエンジニアとして働く。 関数型プログラミングや理論計算機科学に興味を持つ。 訳書(共訳)に『抽象によるソフトウェア設計−Alloyではじめる形式手法−』、『型システム入門−プログラミング言語と型の理論−』。
/assets/images/205019/original/cfcc0bd3-653f-487d-ba38-277c11d87431.gif?1485762022){kind=avatar}
株式会社Preferred Networks7年間
Engineer現在
- 現在
東芝11年間
研究者
-
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
限定公開の職歴・学歴
Masahiro Sakaiさん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
Masahiro Sakaiさんのプロフィールをすべて見る
スキルと特徴
数理計画
2有賀 康顕、Takeo Imaiが+1
Alloy
1Takeo Imaiが+1
継続的統合
1今原 修一郎が+1
Continuous Integration
1今原 修一郎が+1
Haskell
1Takeo Imaiが+1
出版と執筆
実績
言語
- 英語 - ビジネス会話レベル
- 日本語 - ネイティブレベル