酒井 政裕 (SAKAI Masahiro)

ここは酒井政裕(Masahiro Sakai)の個人ページです。

About Me

<URL:/~sakai/images/profile-photo.jpeg>

2007 年 慶應義塾大学大学院政策・メディア研究科修士課程了。 現在、某社の研究部門に勤務。 形式手法、ソフトウェアテストなどのソフトウェア高信頼化の研究に従事。 関数型プログラミングや理論計算機科学にも興味を持つ。 訳書(共訳)に『抽象によるソフトウェア設計−Alloyではじめる形式手法−』『型システム入門−プログラミング言語と型の理論−』。 (詳細)

Resume in English

Contacts

My Activities

Last modified:2016/04/11 09:15:31
Keyword(s):
References:[SideMenu]