Daisuke Suzuki(鈴木 大介/Dai-chan)

my address:

• E-mail: dai@is.s.u-tokyo.ac.jp

Currently in Hagiya Lab as a PhD candidate.

My research interest includes lambda calculus, type theory, domain theory, and category theory.