Main Contents
インタビュー
Aさん M2
学年と経歴を教えてください
M2
群馬県立太田女子高校
東北大学工学部
東北大学大学院情報科学研究科どんな研究をしていますか？
並行プログラミング言語を対象に、型による検証手法でみつかったプログラムのエラーの原因箇所をプログラムスライスとして取り出すという研究をしています。
小林・住井研に入った理由・きっかけは何ですか？
「型ってなに?」と思ったのがきっかけです。この分野についての知識はありませんでしたが、面白そうだと思いまして。
これまでの研究室生活で印象に残っていることは？
PPLに参加したことです。
将来どんな仕事をしたいですか？
ひとを笑顔にする仕事をしたいです。