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 a BSc - with a MSc being desirable
- they must be well-versed in the basics of software engineering
and computer science
- they 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 in 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.1
- 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).
A total of 55 UNU/IIST Fellows representing 15 countries received
training on-site or at universities in developed countries in 1999.
Following is a complete list of Fellows who received training in
1999:
Fellows
Period of fellowship Nationality Project
-------------------- ------------ ----------
Fu Guoyi 09/11/97 -- 31/03/00 China Macau Projects
Avirmed Amar 02/05/98 -- 30/03/99 Mongolia MultiScript
Zhan Naijun * 01/07/98 -- 31/08/99 China DeTfoRS
Ekaterina Pavlova 01/09/98 -- 28/02/99 Russia DeTfoRS
Wojciech Mostowski 01/09/98 -- 31/05/99 Poland Casino
Hou Jianmin 01/09/98 -- 28/02/99 China DeTfoRS
Tran Van Dung 01/09/98 -- 11/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'2000
Rusdi Md Aminuddin * 01/09/98 -- 28/02/99 Malaysia DeTfoRS
S. Alejandra Cechich 14/09/98 -- 23/01/99 Argentina Curric. Dev.
Ma Huadong * 09/11/98 -- 08/02/99 China DeTfoRS
Huang Biqing 16/11/98 -- 15/01/99 China MIICI
Liu Yonghe 16/11/98 -- 01/05/99 China MIICI
He Bin 08/12/98 -- 31/03/99 China Curric. Dev.
Babatunde Akinkunmi 04/01/99 -- 31/08/99 Nigeria Casino
Dessalegn Mihret 19/02/99 -- 18/08/99 Ethiopia Univ. Dev.
Zhu Huibiao 01/03/99 -- 31/12/99 China DeTfoRS
Ke Wei 01/04/99 -- 31/03/00 Macau RAISE tools
Ngo Hoang Huy 15/04/99 -- 14/01/00 Vietnam DeTfoRS
Francois Siewe 01/05/99 -- 27/12/99 Cameroon DeTfoRS
Li Guoming * 17/05/99 -- 22/12/99 China DeTfoRS
Zhang Zhongping * 17/05/99 -- 22/12/99 China RAISE
Yumbayar Namsrai 28/05/99 -- 27/08/99 Mongolia Curric. Dev.
Shirnen Nyambaa 28/05/99 -- 30/09/99 Mongolia Curric. Dev.
Ishdorj Tseren-Onolt 28/05/99 -- 30/09/99 Mongolia Curric. Dev.
Mao Xiaoguang * 02/06/99 -- 30/08/99 China DeTfoRS
Ming Zhong 27/07/99 -- 26/10/99 China Curric. Dev.
Jules Tapamo 01/08/99 -- 30/11/99 Senegal Curric. Dev.
Ma Huadong * 10/08/99 -- 04/09/99 China DeTfoRS
Wang Jianzhong 01/09/99 -- 28/02/00 China DeTfoRS
Wasim Khan 01/09/99 -- 14/02/00 India Curric. Dev.
Qin Shengchao 01/09/99 -- 31/07/00 China DeTfoRS
Dangaasuren Garmaa 01/09/99 -- 28/02/00 Mongolia DeTfoRS
Li Shuguang * 01/09/99 -- 31/03/00 China Curric. Dev.
Jiang Qing * 01/09/99 -- 31/03/00 China Curric. Dev.
Rui Souza ** 01/09/99 -- 28/11/99 Portugal MIICI
Francisco Moreira ** 01/09/99 -- 28/11/99 Portugal MIICI
Do Van Nhon 01/09/99 -- 31/05/00 Vietnam DeTfoRS
Balkhis Abu Bakar * 03/09/99 -- 31/05/00 Malaysia Casino
Jin Zhendong 01/11/99 -- 31/03/00 China Curric. Dev.
Wu Xiaojun 01/11/99 -- 28/02/00 China Curric. Dev.
Ri Hyon Sul 01/11/99 -- 29/02/00 DPR Korea Curric. Dev.
Pak Zong Ok 01/11/99 -- 29/02/00 DPR Korea Curric. Dev.
Luis Reynoso 08/11/99 -- 07/05/00 Argentina Design Patterns
Andres Flores 08/11/99 -- 07/05/00 Argentina Design Patterns
S. Alejandra Cechich 08/11/99 -- 22/12/99 Argentina Design Patterns
Hoang Viet Ha 04/01/99 -- 04/06/99 Vietnam Univ. Dev.
Agvaan Otgonbayar 23/01/99 -- 01/06/99 Mongolia Univ. Dev.
Le Quan Ha 01/02/99 -- 28/05/99 Vietnam Univ. Dev.
Tserenjav Uranbileg 01/02/99 -- 12/06/99 Mongolia Univ. Dev.
Le Nam Hien 20/09/99 -- 22/12/99 Vietnam Univ. Dev.
T. Myagmarsuren 28/09/99 -- 18/03/00 Mongolia Univ. Dev.
Yuan Zhaorui 02/01/99 -- 31/12/00 China Utrecht Univ.
Edith Chipo Lwanda 04/01/99 -- 30/06/00 Malawi Utrecht Univ.
* partially funded by releasing institution
** totally funded by releasing institution
The following fellows have already accepted fellowship offers for the
following period:
Li Yong 01/03/00 -- 31/08/00 China DeTfoRS
Juliano Iyoda 01/03/00 -- 31/10/00 Argentina DeTfoRS
Li Yongjian 01/03/00 -- 15/08/00 China DeTfoRS
Dimitar Guelev 01/03/00 -- 30/06/00 Bulgaria DeTfoRS
Manas R. Patra 01/04/00 -- 31/07/00 India Curric. Dev.
R.K. Ghosh 15/05/00 -- 14/09/00 India Curric. Dev.
Cyprian Ngolah 01/06/00 -- 31/08/00 Cameroon Curric. Dev.
Ye Shiwei 01/09/00 -- 31/12/00 China Curric. Dev.
The following fellows have accepted fellowship offers to study at our
partner universities for the following period:
Gilbert Tindo 05/02/00 -- 31/05/00 Cameroon Univ. Dev.
Nguyen Khanh Van 05/02/00 -- 31/05/00 Vietnam Univ. Dev.
Namsrai Yumbayar 05/02/00 -- 31/05/00 Mongolia Univ. Dev.
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
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. In
addition, if such resources permitting, UNU/IIST sometimes offers General Courses in
Computer Science. In 1999, two courses in Creating Home
Pages were jointly organized by UNU/IIST and UNESCO HQ and
presented in Baku and Nakhichevan, Azerbaijan.
- Fellow Identification: To identify potential Fellows
and to discuss with them and with their supervisors, availability,
timing and project subjects.
- 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 1999:
- Formal Methods in Software Technology and RAISE, Cairo,
Egypt, 20-24 February 1999
This course was jointly organised by UNU/IIST and the University of
Cairo. This course was given by Mr Chris George. 14 participants
attended the course.
- Creating Home Pages, Baku, Azerbaijan, 15-24 March 1999
This course was jointly organised by UNU/IIST, UNESCO HQ and the
Baku Scientific and Training Center (BSTC). This course was given
by Mr Fu Guoyi. 18 participants attended the course.
- Formal Software Development using RAISE, Kedah, Malaysia,
15-24 March 1999
This course was jointly organized and co-funded
by UNU/IIST and the University of Northern Malaysia. This course
was given by Dr Tomasz Janowski. 17 participants attended the
course.
- Formal Software Development using RAISE, Baku,
Azerbaijan, 3-14 May 1999
This course was jointly organised by UNU/IIST, UNESCO HQ and the
Baku Scientific and Training Center (BSTC). This course was given by
Dr Richard Moore. 8 participants attended the course.
- Course on Duration Calculus, Beijing, China, 10-14 May
1999
This course was jointly organised by UNU/IIST and the School of
Computer Science & Technology, Beijing University of Posts and
Telecommunications. The course was partly funded by UNU/IIST and
Beijing University of Posts and Telecommunications. This course was
given by Dr Xu Qiwen. 15 participants attended the course.
- Formal Methods in Software Technology and RAISE,
Pyongyang, DPR Korea, 1-11 June 1999
This course was jointly organized by the Bureau for International
S&T Cooperation of the Academy of Sciences of DPR Korea and
UNU/IIST. This course was given by Mr Chris George. 35
participants attended the course.
- Formal System Design, Bahia Blanca, Argentina, 12-16 July
1999
This course was partly funded by UNU/IIST and Universidad
Nacional del Sur. The course was given by Mr Chris George. 14
participants attended the course.
- Formal Software Development using RAISE, Buenos Aires,
Argentina, 19-24 July 1999
This course was partly funded by
UNU/IIST and ECI'99. The course was given by Mr Chris George. 8
participants attended the course.
- Course on RAISE and Duration Calculus, Lagos, Nigeria,
19-30 July 1999
Jointly organized and co-funded by UNU/IIST and the University of
Lagos. This course was given by Dr Tomasz Janowski. 19 participants
attended the course.
- Course on RAISE and Duration Calculus, Bhubaneshwar,
India, 9-20 August 1999
This course was jointly organized by
Kalinga Institute of Industrial Technology (KIIT) and UNU/IIST.
This course was given by Dr Hrushikesha Mohanty and Dr Paritosh
Pandya. 29 participants attended the course.
- Creating Home Pages, Nakhichevan, Azerbaijan, 5-19
September 1999
This course was jointly organized by UNESCO HQ, the Nakhichevan
Computer Centre of Informatics Scientific and Production
Incorporation and UNU/IIST. This course was given by Mr Fu Guoyi.
All expenses related to the mission of Mr Fu to Azerbaijan were
covered by UNESCO HQ. 11 participants attended the course.
- Formal Software Development using RAISE, Sarawak, Malaysia,
1-6 November 1999
This course was jointly organized and co-funded
by the Universiti Malaysia Sarawak
and UNU/IIST. This course was given by Dr Richard Moore.
11 participants attended the course.
- Advanced Summer School on Formal Methods and their
Industrial Applications, Beijing, China, 18-22 October 1999
This course was jointly organized by the Chinese Natural Sciences
Foundation and UNU/IIST. This course was given by Prof. He Jifeng.
40 participants attended the course.
- Course on RAISE, Duration Calculus and Programming Logic,
Shanghai, China, 25 October-15 November 1999
This course was jointly organized by the East China Normal University
and UNU/IIST. This course was given by Dr Tomasz Janowski and Dr
Xu Qiwen. 16 participants attended the course.
- Course on Duration Calculus, Pyongyang, DPR Korea, 25-29
October 1999
This course was jointly organized by the Academy of Sciences of DPR
Korea and UNU/IIST. This course was given by Prof. He Jifeng.
30 participants attended the course.
The following courses are being planned for 2000:
- Formal Software Development using RAISE and Duration
Calculus, Ho Chi Minh City, Vietnam, 10-21 January 2000.
- Formal Software Development using RAISE, Tunis, Tunisia,
1-12 February 2000.
- Formal Software Development using RAISE and Duration
Calculus, St Louis, Senegal, 14-26 February 2000.
- Formal Software Development using RAISE, Havana, Cuba, May
- Formal Software Development using RAISE, Tajikistan, May
- Formal Software Development using RAISE, Botswana, June
UNU/IIST staff can act as adjoint post-graduate degree supersisors 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. In 1999 we have the following supervisions.
|
Staff | Fellow | Country | Subject |
|
Zhou Chaochen | Zhan Naijun | China | Higher-Order Duration Calculus |
|
Chris George | Ke Wei | Macau | RAISE Tools |
|
Richard Moore | Luis Reynoso | Argentina | Formalisation of
Object-Oriented Patterns |
|
Richard Moore | Andres Flores | Argentina | Formalisation of
Object-Oriented Patterns |
|
Richard Moore | Alejandra Cechich | Argentina | Formalisation of
Object-Oriented Patterns |
|
Richard Moore | Tsend Ganbat | Mongolia | Specification of Mongolian
Spelling Checker |
|
Chris George | Marisa Sanchez | Argentina | Specification based testing
|
info@iist.unu.edu, 15 March 1999
