Directory Database of Research and Development Activities (ReaD) is a database service designed to promote cooperation among industry, academia and government. ReaD is the web site that collects and provides scientific information on research institutes, researchers, research subjects and research resources in Japan.

Directory Database of Research and Development Activitie

Japanese

HASEGAWA Masahito

When you click "Institute" at the bottom of the page, the Institute information of the Researcher is shown.

Revised Date 2010.03.18
Researcher Name HASEGAWA Masahito
Date of Birth 1970.01
Organization Name,Department Name,Job Title
1. Kyoto University Research Institute for Mathematical Sciences
Research Institute for Mathematical Sciences Applied Mathematics Research Sector
Professor , Professor
Fax +81-75-753-7272
Research Field Fundamental informatics
Keywords for Research Field Theoretical Computer Science, Semantics of Programming Languages
Research Theme
1. Higher-order Geometry of Interaction and Program Semantics
Semantics, higher-order computation, Interactive computation
Research Field： Fundamental informatics
（Individual） 2008－ 2011   Grant-in-Aid for Scientific Research
Homepage URL
http://www.kurims.kyoto-u.ac.jp/~hassei/
Research Result (papers and notes)
(27cases)
1. Small-step and Big-step Semantics for Call-by-need (with K. Nakata)
Journal of Functional Programming （Academic Journal ,2009 ） 19(6), 699-722 / ,
2. A Note on the Biadjunction between 2-Categories of Traced Monoidal Categories and Tortile Monoidal Categories (with S. Katsumata)
Mathematical Proceedings of the Cambridge Philosophical Society （Academic Journal ,2010 ） 148(1), 107-109 / ,
3. On Traced Monoidal Closed Categories
Mathematical Structures in Computer Science （Academic Journal ,2009 ） 19(2), 217-244 / ,
Further display
Research Result (publications)
(2cases)
1. Introduction to Computer Science: Logic and Program Semantics (in Japanese, with R. Nakajima and M. Tanabe) （Iwanami ,1999 ）
2. Models of Sharing Graphs : A Categorical Semantics of Let and Letrec （Springer, Distinguished Dissertation Series ,1999 ）
Graduate School
1. University of Edinburgh
Doctor （Faculty of Science and Engineering ,Department of Computer Science ）
1997 （Completed ,Edinburgh (UK) ）
2. Kyoto University
Master （Graduate School, Division of Natural Science ,Mathematical Sciences ）
1994 （Completed ）
Graduating School
1. Kyoto University
University （Faculty of Science ）
1992 （Graduated ）
Academic Degree
1. Ph. D.
（Coursework） University of Edinburgh (United Kingdom)
Fundamental informatics
2. M.Sc.
（Coursework） Kyoto University
Fundamental informatics
Research Employment History 
1997-1999 Research Associate, RIMS, Kyoto University
1999-2002 Lecturer, RIMS, Kyoto University
2002-2007 Associate Professor, RIMS, Kyoto University
2002-2006 Researcher, Japan Science and Technology Agency
2007-     Professor, RIMS, Kyoto University
Academic Awards Received BCS/CPHC Distinguished Dissertations Award （1999 ,Other ） , JSSST Takahashi Shorei Award （1999 ,Japan ） , EATCS ETAPS Best Theoretical Paper Award （2001 ,Other ） , Japan IBM Science Prize （2005 ,Japan ） , The Young Scientists' Prize (The Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology) （2008 ,Japan ）
Academic Society Affiliations Japan Society for Software Science and Technology （Japan）

Page Top

Copyright © Japan Science and Technology Agency.