[Japanese][English]

Tatsuya Hagino

Professor, Faculty of Environmental Information, Keio University

Address: 5322 Endoh, Fujisawa, Kanagawa 252-8520, Japan; Shounan Fujisawa Campus (SFC), Keio University; Office: iota 506, TEL: +81-466-49-3446; Laboratory: kappa 208 and iota 509, TEL: +81-466-49-1133; E-Mail: hagino@sfc.keio.ac.jp, hagino@w3.org; FOAF

Profile

Born: 1958 May 9th
Birth Place: Kawasaki, Kanagawa, Japan
Academic Record:: 1965 April - 1971 March: Befu Elementary School; 1971 April - 1974 March: Hamanomiya Junior High School; 1974 April - 1977 March: East Kakogawa Senior Hight School; 1977 April - 1981 March: Faculty of Science, Kyoto University (major: mathematics); 1981 April - 1983 March: Master course at Graduate School of Science, Kyoto University (major: mathematical sciences); 1983 April - 1984 September: Doctor course at Graduate School of Science, Kyoto University (major: mathematical sciences); 1983 October - 1986 September: Ph.D course for theory at Demartment of Computer Science, Faculty of Science, University of Edinburgh
Working Experience:: 1986 October - 1987 September: Research Assistant at LFCS, Edinburgh University; 1987 October - 1990 March: Assistant Processor, Data Processing Center, Kyoto University; 1990 April - 1992 March: Lecturer, Faculty of Environmental Information, Keio University; 1992 April - 2001 March: Associate Professor, Faculty of Environmental Information, Keio University; 2001 April - current: Professor, Faculty of Environmental Information, Keio University; 1996 September - 1997 August: Visiting Scientist, Carnegie Mellon University; 1997 September - current: Deputy Director for Asia, World Wide Web Consortium
B.Sc. in Science, 1981 Kyoto University
M.Sc. in Mathematical Sciences, 1981 Kyoto University
Ph.D in Computer Science, 1987 University of Edinburgh

Categorical Programming Language

A Typed Lambda Calculus with Categorical Type Constructor

hagino@sfc.keio.ac.jp