Members
研究室の構成員です。
教授
可逆並行プログラミング,実時間ソフトウェア
准教授
プログラム解析・プログラム検証
助教
代数的形式言語理論
事務補助員
招へい教員
D2
可逆並行プログラミング
D1
M2
M1
B4
NUPACE M1