Home Page of Keijiro Araki

Keijiro ARAKI


Hakata Yamakasa Festival
With Mr. Hasegawa (July 11, 2001)


Hakata Dontaku Festival
With the Governer of Fukuoka Prefecture, Mr. Aso (May 3, 2001)


Japanese

Professor
Department of Computer Science and Communication Engineering
Graduate School of Information Science and Electrical Engineering
Kyushu University

744 Motooka, Nishi-ku, Fukuoka 819-0395 JAPAN
Phone/FAX: +81-92-802-3655
E-mail: araki@csce.kyushu-u.ac.jp

Degrees and Research Career

March 1976 : B.S. Degree in Computer Science and Communication Engineering from Kyushu University, Japan
March 1978 : M.S. Degree in Computer Science and Communication Engineering from Kyushu University, Japan
April 1978 - August 1984 : Research Associate at the Department of Computer Science and Communication Engineering, Kyushu University, Japan
November 1982 : Ph.D. Degree in Computer Science and Communication Engineering from Kyushu University, Japan
August 1984 - March 1993 : Associate Professor at the Department of Computer Science and Communication Engineering, Kyushu University, Japan
May 1985 - June 1985 : Visiting Researcher at the University of Illinois at Chicago, U.S.A.
August 1988 - June 1989 : Visiting Researcher at the Faculty of Mathematics and Informatics, Passau University, Germany
April 1993 - September 1996 : Professor at the Graduate School of Information Science, Nara Institute of Science and Technology, Japan
April 1996 - : Professor at the Graduate School of Information Science and Electrical Engineering, Kyushu University
April 1996 - : Research Director at Institute of Systems and Information Technologies
April 2004 - : Vice Director of Kyushu University Library

Research Interests

Programming Languages, Software Development Methods, Formal Approaches to Software Development, Specification Languages and Techniques, Program Verification, Internetworking, Multi-Media Communication, etc.

Publications

Social Activities