博士(工学) (名古屋大学)

名古屋大学 大学院情報学研究科 情報システム学専攻 ソフトウェア論講座　教授

研究トピック

• 可逆並行計算モデル
• 可逆プログラミング言語
• 通信プロセスモデル
• 実時間プログラム

研究

• 論文リスト(dblp)

担当講義

• システム検証および演習
• コンパイラ

• 論理学2c

• ソフトウェア基礎論特論B
• 並行分散計算特論

趣味

• 大相撲観戦