Main Contents
インタビュー
Cさん M2
学年と経歴を教えてください
学年：M2
経歴：山形県立山形東高等学校卒
東北大学工学部を卒業して東北大学大学院情報科学研究科へ。どんな研究をしていますか？
卒論は型システムを用いた通信チャネルの振る舞いの検証。 修論はBasic Parallel Process に関するプロセス間の2項関係の 決定不能性についての研究と型システムへの応用。 最近は証明ばかりしています。
小林・住井研に入った理由・きっかけは何ですか？
研究室見学の時に面白そうだと思ったのがきっかけです。
これまでの研究室生活で印象に残っていることは？
今年７月にポーランドで開催された ICALP という学会で発表したこと。辞書片手に片言の英会話しかできない自分が 特に大きな問題もなく発表して帰ってこれたのが今でも不思議なほど。お世話になった小林先生にはもう頭があがりません。
将来どんな仕事をしたいですか？
電化製品などの組み込み系のシステムに 関する仕事をしてみたいと思っています。