Need Help?

Faculty of Advanced Science and Technology

　

NAKANO Hiroshi

NAKANO Hiroshi
Name
NAKANO, Hiroshi
Affiliation and course name
Applied Mathematics and Informatics Course
Degree
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.

GO TO TOP

Request Information