[ Kyoto Univ. > RIMS > Computer Science > People, WWWFun ] [ Hassei's Research | Homepage in Japanese] |
I am a member of
Computer Science
Group at
Research Institute for
Mathematical Sciences,
where a variety of research activities in
theoretical computer science
are pursued (see
recent
publications by the members).
For my own research interests and outputs, see the following:
Research Interests | Research Papers | Manuscripts, Slides |
Recent Activities: POPL'09, FICS'09, FoSSaCS2010, WoLLIC2010 APLAS2011, (Program Committee Member), TLCA2013 (Program Committee Chair), Mathematical Structures in Compuer Science (Editorial Board Member)
Masahito Hasegawa <hassei at kurims.kyoto-u.ac.jp>