Japanese

HARAO@Masateru

Welcome to Intelligent Mathematical Informatics Lab.


[Name]: HARAO Masateru

[Birth Day]:Year January 26th in 19??

[Position]: Professor

[Department & Laboratory]
Department : Artificial Intelligence
Laboratory : Theoretical Computer Science

[Lectures]

My lectures in MC,DC cource are:

(‚PjAdvanced ‚ƒomputation theory

i‚QjAdvanced Program theory


[Research fields]

Foundation of Artificial Intelligence
Computation and program theory
Multi-agent based intelligent system
music information processing

[Main research themes and publications]

Refer to here

[Keywords]

        (1) Artificial Intelligence
        (2) Theorem Proving
        (3) Intelligent Reasoning
        (4) Logic Program
        (5) Type Theory
        (6) Computation Theory

[Educational Carrier]

      1966 Kyushu Institute of Technology, Dept. of Electrical Engineering.

      1972 Graduate School of Electrical and Communication,
           Doctor course , Tohoku University

[Degree]

Doctor of Engineering (Tohoku University)

[Belonging Research Societies]

         (1) Japanese Society for Artificial Intelligence 
         (2) The Institute of Electronics, Information and Communication Engineers
         (3) Japan Society for Software Science and Technology
         (4) Information Processing Society of Japan
 

[My Professional Carrier]

    * 1972  April :  Research Assistant of "Research Institute of Electrical Communication,
       Tohoku University'.
    *  1976  December :   Associate Professor of "Research Institute of Electrical Communication,
       Tohoku University".
    *  1984 September :   Professor of "Department of Information Engineering ,
       Yamagata University".
    *  1989 April  :Professor of "Department of Artificial Intelligence, Kyushu Institute of Technology".

[Academic Awards]

      1987      Excellent paper award in Annual Conference of JSAI
      1989      Excellent paper award in Annual Conference of JSAI
      1990      Excellent paper award in Annual Conference of JSAI

If you have any questions, please contact to the following address


harao@ai.kyutech.ac.jp