Need Help?

Faculty of Advanced Science and Technology


NAKANO Hiroshi

NAKANO Hiroshi
NAKANO, Hiroshi
Affiliation and course name
Applied Mathematics and Informatics Course
Dr. Sci.
Research field
Computer Science
Research keywords
Type System, Typed Lambda Calculi, Constructive Logic, Modal Logic.

Research theme

Computer programming is a highly intellectual human activity, where we can find various kinds of specific logical structures. Our concern is with the formulation of principles of such reasoning involved in computer programming. The main research interests lie in the area of logic of programming and type systems of programming languages.

Request Information