3 Post-graduate training/teaching activities
UNU/IIST Fellows are primarily selected by staff during visits to
partner institutions, but also through off-shore
training activities and participation in conferences and seminars.
Potential candidates for Fellowships must satisfy a number of
criteria:
- they must have an MSc - with a PhD being desirable
- they must be well-versed in the basics of software engineering
and computer science
- the must have a relatively good level of English
In addition, the releasing institution must show strong interest in
the research and development areas of UNU/IIST as well as a
commitment to and capability of continuing the joint R&D projects
initiated by the Fellows at UNU/IIST.
Basically, Fellows receive three types of training at UNU/IIST:
- Research training - whereby Fellows are trained in doing
research, in asking relevant scientific questions, and in the
techniques for solving these. During their Fellowship period, they
are expected to write scientific reports and are encouraged to
submit them to journals and scientific conferences.2
- Development training - whereby Fellows are trained in
advanced development of software - in methods, principles,
techniques and tools. Fellows are also encouraged to produce
technical reports for external publication.
- Curriculum Development - whereby Fellows spend typically 3-6
months at UNU/IIST, during which time they develop, together with
UNU/IIST staff, course curricula and course material for
post-graduate and post-doctoral courses. At the end of their
Fellowship, they take home course material and software for the
support of the methods being taught (see description of this
activity above).
The complete list of Fellows who received training at UNU/IIST in 1998
is given below.
Fellows
Period of fellowship Nationality Project
-------------------- ------------ ----------
Yun Xiaochun 05/05/97 -- 25/01/98 China Casino
Tsend Ganbat 01/09/97 -- 12/01/98 Mongolia Curric. Dev.
Marcel Fouda 01/09/97 -- 03/03/98 Cameroon Curric. Dev.
Gerardo Schneider 01/09/97 -- 28/02/98 Uruguay DeTfoRS
Victor Braberman 14/09/97 -- 28/02/98 Argentina DeTfoRS
Gustavo Lugo 01/09/97 -- 31/05/98 Paraguay MIICI
Xia Yong 01/09/97 -- 27/11/98 China DeTfoRS
Zhao Jianhua 27/08/97 -- 13/09/98 China DeTfoRS
Pablo Giambiagi 04/09/97 -- 14/03/98 Argentina DeTfoRS
D.H.S. Sarma * 01/09/97 -- 31/05/98 India PortMan
N. Sathya Prakash * 01/09/97 -- 31/05/98 India PortMan
Tran Manh Thang 05/09/97 -- 04/03/98 Vietnam ABC
Nguyen Hong Viet ** 05/09/97 -- 04/03/98 Vietnam ABC
Zheng Hongjun 03/11/97 -- 14/08/98 China MIICI
Fu Guoyi 09/11/97 -- 31/10/99 China InCOM
Hu Chengjun 30/11/97 -- 31/05/98 China DeTfoRS
Thomas Rasmussen ** 15/01/98 -- 07/03/98 Denmark DeTfoRS
Sheila Karipel 01/03/98 -- 31/08/98 India DeTfoRS
Catalin Dima 01/03/98 -- 31/08/98 Romania DeTfoRS
Dimitar Guelev 01/03/98 -- 31/08/98 Bulgaria DeTfoRS
Wang Ji 30/03/98 -- 30/05/98 China DeTfoRS
Hrushikesha Mohanty 05/05/98 -- 04/08/98 India Curric. Dev.
William Shu 01/05/98 -- 30/09/98 Cameroon Curric. Dev.
Avirmed Amar 02/05/98 -- 25/03/99 Mongolia MultiScript
Wang Hanpin 15/05/98 -- 31/08/98 China DeTfoRS
Toshiyuki Tanaka ** 01/06/98 -- 31/07/98 Japan RAISE tools
Zhan Naijun * 01/07/98 -- 30/06/99 China DeTfoRS
Tan Xinming 14/07/98 -- 13/09/98 China RAISE tools
Elsa Clara Estevez * 31/08/98 -- 18/12/98 Argentina Casino
Ekaterina Pavlova 01/09/98 -- 28/02/99 Russia DeTfoRS
Wojciech Mostowski 01/09/98 -- 31/05/99 Poland Casino
S. Alejandra Cechich 14/09/98 -- 23/01/99 Argentina Curric. Dev.
Hou Jianmin 01/09/98 -- 28/02/99 China DeTfoRS
Tran Van Dung 01/09/98 -- 10/04/99 Vietnam DeTfoRS
Li Li * 01/09/98 -- 31/07/99 China DeTfoRS
Than Quoc Dang 01/09/98 -- 28/02/99 Vietnam ABC
Rusdi Md Aminuddin 01/09/98 -- 28/02/99 Malaysia DeTfoRS
Jong Hyen Chol 01/09/98 -- 30/11/98 DPR Korea Curric. Dev.
Choe Chun Ho 01/09/98 -- 30/11/98 DPR Korea Curric. Dev.
He Hua 01/09/98 -- 31/12/98 China RAISE tools
He Bin 08/12/98 -- 31/03/99 China Curric. Dev.
Huang Biqing 02/11/98 -- 15/01/99 China MIICI
Liu Yonghe 02/11/98 -- 15/05/99 China MIICI
Ma Huadong * 09/11/98 -- 08/02/99 China DeTfoRS
* partially funded by releasing institution
** totally funded by releasing institution
The objectives of the off-shore UNU/IIST Post-Graduate and Post-Doctoral
Courses are:
- Awareness and Education:
To propagate awareness of and provide in-depth training in the
most advanced software technology development techniques
within the UNU/IIST agenda areas.
The main vehicles for UNU/IIST's teaching of formal
methods are: (1) The RAISE
method, tools and language (RSL), one of the best
supported and most mature formal methods available today,
and (2) The Duration Calculus, one of
the most exciting techniques for dealing with safety critical,
(hard) real-time, reactive and hybrid systems.
- Fellow Identification: To identify potential Fellows
and to discuss the subjects and the timing of projects with them
and with their supervisors.
- R&D Project Identification: To identify, with leading
staff of the host universities or industries in the country of
the off-shore course, possible joint advanced development and/or
research project actions.
UNU/IIST has given the following advanced courses in 1998:
- Specification and Verification of Real-time Systems using
Duration Calculus, Surat (India), 26-31 January 1998
This course
was organised by UNU/IIST, Tata Institute of Fundamental Research
(TIFR) and the S.V. Regional Engineering College, Surat, India
(SVREC). It covered lectures, tutorial and laboratory sessions on
Duration Calculus. The course was lectured by Dr Paritosh Pandya of
Tata Institute of Fundamental Research on behalf of
UNU/IIST. Prof Mathai Joseph of TRDDC, Pune was the guest lecturer
and Mr. D.C. Jinwala of SVREC conducted the laboratory sessions. 29
participants from universities and private industry in India
attended this course.
- Formal Software Development using RAISE, Neuquén
(Argentina), 2-13 March, 1998
This training course was organised by the Facultad
de Economia y Administracion of the Universidad Nacional del
Comahue, under a World Bank funded project for higher education.
Some 20 participants attended the course which was given by Dr. Richard
Moore.
- Advanced Course on RAISE, Fukuoka (Japan), 9-13 March 1998
This course was organised and entirely funded by Institute of Systems &
Information Technology in Kyushu, as a follow-up to a first RAISE
course given in 1997. 6
participants attended this advanced course which was given by
Chris George.
As a follow-up to this course, Mr Toshiyuki
Tanaka spent two months at UNU/IIST where he continued his research
on proofs for a communication protocol using RAISE.
- Formal Software Development using RAISE, Pyongyang (DPR Korea),
20-30 April, 1998
This course was organised by UNU/IIST and the State Commission for
Science and Technology, Pyongyang, DPR Korea. Around 40
participants attended. This course was given by Dr Tomasz
Janowski.
- Formal Software Development using RAISE and the
Duration Calculus, Chengdu (China), 17-28 August 1998
This
course was organised by the International Cooperation Department
of the Sichuan Provincial Commission of Science and Technology.
The course was given by Chris George, Dr Xu Qiwen and Mr Tan
Xinming (ex-Curriculum Development fellow). 24 participants attended
the course, many of whom were from industry.
- Introduction to Formal Methods and Duration Calculus.
Hanoi (Vietnam), 7-11 September, 1998.
The Faculty of Information
Technology of National University, Hanoi requested UNU/IIST to
give this course for Ph.D. and
M.Sc. students. The course was given by Dr Xu Qiwen.
- Formal Techniques for Software Development, Beijing
(China), 13-23 October, 1998
The course was held at Northern Jiaotong University and was
organised under a MoU
between the Ministry of Education of China (MEC) and UNU/IIST, by
which UNU/IIST and MEC jointly developed software engineering
courses and promoted programming methodology research for Chinese
universities around the concepts of formal techniques for software
development.
The course, which was attended by around 17 lecturers from
key universities in China, was intended to introduce the RAISE method
and the Duration Calculus. It was also the occasion for
discussions between MEC and UNU/IIST on curriculum development and
research on these subjects for Chinese universities.
The course was co-sponsored by MEC who selected the
participants and covered the local costs including the local expenses of
UNU/IIST lecturers. The course was given by Prof He Jifeng and Dr
Richard Moore.
- Course on Formal Software Specification using RAISE,
Guangzhou (China), 23 November - 2 December 1998
The course was held at Jinan
University and was organised by UNU/IIST in collaboration with the
Guangzhou Science & Technology Commission, the Guangzhou Science &
Technology Foundation and the Guangzhou Municipal Computer Application
Development Leading Group Office. 25 participants attended the
course. The course was given by Chris George.
The following courses are being planned for 1999:
- Courses on RAISE are currently being organised in cooperation
with universities in China, Mozambique, Brazil, Nigeria, Egypt,
Malaysia, Vietnam and Tunisia. Following the RAISE course
in April 1998, the State Commission for Science and Technology (DPR
Korea) has also requested that UNU/IIST organise another course on
RAISE and one on Duration Calculus in Pyongyang.
- UNU/IIST has also been approached by UNESCO's Intergovernmental
Informatics Programme to organise advanced training
courses on RAISE in the Central Asian Republics. Such training
is being organised as part of a UNDP-project for the setting
up/improving of Computer Technology Centres in Central Asia. The
course on HTML and WEB page design which
has been given in Macau by Mr Fu Guoyi, UNU/IIST fellow, will also
be presented. The first courses will be held in Baku (Azerbaijan)
in March (HTML) and in May 1999 (RAISE).
- UNU/IIST has assisted the Euro-Technical Assistance Programme in
Vietnam in setting up overseas training on project management for
the technical staff in the Ministry of Finance. This training is
part of a large-scale European Commission Accounting and Auditing
project.
UNU/IIST staff occasionally act as adjoint post-graduate degree
supervisors for Fellows when their research is in an area of UNU/IIST's
agenda. Such supervision naturally extends beyond the period of the original
fellowship. Currently we have the following supervisions:
|
Staff | Fellow | Country | Subject |
|
Zhou Chaochen | Zhan Nanjun | China | Higher-Order Duration Calculus |
|
Zhou Chaochen | Ke Wei | Macau | Polymorphism |
|
Richard Moore | Tsend Ganbat | Mongolia | Specification of Mongolian
Spelling Checker |
|
Chris George | Marisa Sanchez | Argentina | Specification based testing
|
info@iist.unu.edu, 16 March, 1999
