Professor
Shoji Yuen
Reversible Concurrent Programming, Real-time Software
ProfileMembers
Members
Lab members and their research interests.
Associate Professor
Koji Nakazawa
Program Analysis and Verification
ProfileAssistant Professor
Yusuke Inoue
Algebraic Formal Langauge
ProfileSecretary
Makiko Murase
ProfileVisiting Professor
Mizuhito Ogawa
ProfileD2
Shunya Oguchi
Reversible Concurrent Programming
ProfileD1
Takumi Sato
ProfileM2
Masahiro Kuroda
ProfileM2
Renya Kawano
ProfileM2
Chen Zhao
ProfileM2
Zhang Haotian
ProfileM1
Yuna Sadamoto
ProfileM1
Yuichi Hasegawa
ProfileM1
Go Fuma
ProfileM1
Matsui Rintaro
ProfileM1
Tanaka Yoshinao
ProfileB4
Kano Narihiro
ProfileB4
Takuho Yamada
ProfileB4
Kairi Kito
ProfileNUPACE M1