[Japanese/English]
We think a research group should consist of people with different backgrounds
(educational and cultural backgrounds), since cross-fertilization is one
of the major source of new ideas. We call for foreign students who want
to study PROGRAMMING and LOGIC in our group (laboratory) as their master
program or PhD program.
Our research area is foundation of software science, and covers the
following topics:
Note that this is not necessarily a precise summary of the requirements;
refer to
the web page
of the Graduate School of Systems and Information Engineering, University
of Tsukuba. for details.
Note also that you must have a certain level of ability of Japanese language,
for almost all courses are given in Japanese in our university (alas ..).
If you are interested in the research topics above, and want to join our
laboratory (and you think you can fulfill the requirements 1 and 3 above),
don't hesitate to take contact with Yukiyoshi Kameyama (kam@cs.tsukuba.ac.jp).
Programming Logic Group Homepage
@