Home Page for Keijiro Araki
Keijiro ARAKI
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
6-10-1 Hakozaki, Higashi-ku, Fukuoka 812-8581 JAPAN
Phone: +81-92-642-4053 FAX: +81-92-642-4087
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/KYUSHU
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
With Mr. Hasegawa (July 11, 2001)
With the Governer of Fukuoka Prefecture, Mr. Aso (May 3, 2001)