I’m a Ph.D. student at Programming Research Group, Department of Mathematical and Computing Science, Tokyo Institute of Technology, under the supervision of Prof. Hidehiko Masuhara.
E-mail: yudaitnb [at] prg.is.titech.ac.jp
My research interest is on types and programming languages.
I’m currently working on developping a new language mechanism for type-based compatibility & dependency analysis.
I’ve also interested in the following topics: