[Japanese/English]

プログラム論理研究室のメンバー

メンバー

電子メールアドレスは、下記のユーザ名の 後ろに「@logic.cs.tsukuba.ac.jp」をつけてください。

教職員

大学院生 (システム情報工学研究科 コンピュータサイエンス専攻)

大学院生 (理工情報生命学術院 システム情報工学研究群 情報理工学位プログラム)

学部生(情報学群 情報科学類)

これまでの研究室 在籍者 (西暦は在籍期間を表しています。)


プログラム論理研究室ホームページ