教授
結縁 祥治
可逆並行プログラミング，実時間ソフトウェア
個人ページMembers
メンバー
研究室の構成員です。
准教授
中澤 巧爾
プログラム解析・プログラム検証
個人ページ助教
井上 裕介
代数的形式言語理論
個人ページ事務補助員
村瀬 麻木子
個人ページ招へい教員
小川 瑞史
個人ページD2
小口 隼矢
可逆並行プログラミング
個人ページD1
佐藤 拓海
形式検証，分離論理，循環証明体系
個人ページM2
黒田 将弘
個人ページM2
川野 蓮弥
個人ページM2
趙 晨
個人ページM2
張 皓添
個人ページM1
貞本 優菜
可逆並行プログラミング
個人ページM1
長谷川 雄一
個人ページM1
郷 颯真
個人ページM1
松井 凜太郎
個人ページM1
⽥中 良尚
個人ページB4
加納 成博
個人ページB4
⼭⽥ 拓歩
個人ページB4
⻤頭 海吏
個人ページNUPACE M1