研究テーマ

• 並行可逆計算
• 実時間プログラム
• プロセス計算

研究業績

担当講義

• インフォマティクス１
• 論理学２ｃ
• コンパイラ
• システム検証および演習
• 並行分散計算特論１，２
• ソフトウェア基礎論特論B

趣味

• 大相撲観戦