Annual Report 2000

Contents

3 Post-graduate Training/Teaching Activities

3.1 Fellowship Programme

• 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

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.¹
• 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, or spend one semester at partner universities of UNU/IIST, during which time they listen to computer science courses available at the universities. At the end of their Fellowship, they take home course material and software for the support of the courses being taught (see description in 2.3 and 2.4).

Fellows
 

	Period of fellowship	Nationality	Project
----------------	---------------	---------	-------------
Fu Guoyi	09/11/97 -- 31/10/00	China	Macau Projects
Ke Wei	01/04/99 -- 31/07/00	Macau	RAISE tools
Ngo Hoang Huy	15/04/99 -- 14/01/00	Vietnam	DeTfoRS
Wang Jianzhong	01/09/99 -- 31/05/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	Design Database
Jiang Qing *	01/09/99 -- 31/03/00	China	Design Database
Do Van Nhon	01/09/99 -- 31/05/00	Vietnam	DeTfoRS
Balkhis Abu Bakar *	03/09/99 -- 03/07/00	Malaysia	Casino
Jin Zhendong	01/11/99 -- 21/04/00	China	Curric. Dev.
Wu Xiaojun	01/11/99 -- 29/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 -- 31/05/00	Argentina	Design Patterns
Andres Flores	08/11/99 -- 31/08/00	Argentina	Design Patterns
Li Yong	21/03/00 -- 20/12/00	China	DeTfoRS
Li Yongjian	16/03/00 -- 30/11/00	China	DeTfoRS
Dimitar Guelev	01/03/00 -- 30/06/00	Bulgaria	DeTfoRS
Manas R. Patra	01/04/00 -- 31/08/00	India	Curric. Dev.
Roger E. Atsa	01/04/00 -- 15/12/00	Cameroon	MICII
Ahn Yong Jun	01/05/00 -- 30/11/00	DPR Korea	RAISE
Hong Ki Tae	01/05/00 -- 30/11/00	DPR Korea	DeTfoRS
Gabriela Aranda	01/05/00 -- 15/12/00	Argentina	Design Patterns
Hoang Thi Tung Lam	01/05/00 -- 28/08/00	Vietnam	RAISE
R.K. Ghosh	15/05/00 -- 15/08/00	India	Curric. Dev.
Zhan Naijun	15/05/00 -- 15/07/00	China	DeTfoRS
Juliano Iyoda	15/05/00 -- 14/01/01	Brazil	DeTfoRS
Cyprian Ngolah	01/06/00 -- 07/08/00	Cameroon	Curric. Dev.
Nitesh Shrestha	01/06/00 -- 30/11/00	Nepal	MIICI
Phan Cong Vinh	01/07/00 -- 31/12/00	Vietnam	MIICI
Adegboyega Ojo	01/07/00 -- 15/12/00	Nigeria	MIICI
Raoudha Beltaifa	01/07/00 -- 31/03/01	Tunisia	Soft. Reuse
Virginia Mauco *	13/07/00 -- 15/12/00	Argentina	Agr. Sys.
Tang Xinbei	08/08/00 -- 07/08/01	China	Macau projects
Francois Siewe	26/08/00 -- 25/11/00	Cameroon	DeTfoRS
Lutbat Yadamsuren	01/09/00 -- 28/02/01	Mongolia	DeTfoRS
Wang Yanjie	09/09/00 -- 30/04/01	China	Design Database
Wang Zhuo	09/09/00 -- 30/04/01	China	Design Database
Iong Pei Hin	18/09/00 -- 17/09/01	Macau	Comp. Sys.
He Bin	03/10/00 -- 27/10/00	China	Design Database
Chang Chen *	01/11/00 -- 30/09/01	China	DeTfoRS
Li Xuandong *	01/11/00 -- 30/11/00	China	DeTfoRS
Wang Zheming *	01/11/00 -- 30/06/01	China	Distance Learning
Wang Jinsong *	01/11/00 -- 30/06/01	China	Distance Learning

Computer Science Department Development Project (DDP) Fellows
 
 

T. Myagmarsuren *	28/09/99 -- 18/03/00	Mongolia	U.K.
Yuan Zhaorui *	02/01/99 -- 31/12/00	China	Utrecht Univ.
Edith Chipo Lwanda *	04/01/99 -- 30/06/00	Malawi	Utrecht Univ.
Nguyen Khanh Van *	05/02/00 -- 31/05/00	Vietnam	Australia
Namsrai Yumbayar *	03/07/00 -- 03/11/00	Mongolia	Australia
Gilbert Tindo *	05/09/00 -- 15/12/00	Cameroon	Canada
Tran Thi Minh Chau *	05/09/00 -- 15/12/00	Vietnam	Canada

 * partially funded by releasing institution or universities in developed countries
 

The following fellows have already accepted fellowship offers for the following period:
 
 

Chang Chen	01/11/00 -- 30/09/01	China	DeTfoRS
Li Danning	05/01/01 -- 04/07/01	China	GIS-DSS
Mohammed Chihoub	31/01/01 -- 30/04/01	Algeria	Curr. Dev.
Kim Pyong Sam	01/02/01 -- 31/10/01	DPR Korea	DeTfoRS
Kim Yong Chun	01/02/01 -- 31/10/01	DPR Korea	DeTfoRS
Barsbold Bazarragchaa	01/02/01 -- 31/10/01	Mongolia	DeTfoRS
Irshad Khan	12/02/01 -- 15/06/01	Bangladesh	Curr. Dev.
Liu Weimin	01/03/01 -- 30/11/01	China	DeTfoRS
Liu Xiyang	01/09/01 -- 30/04/02	China	DeTfoRS
Ai Lirong	01/09/01 -- 30/04/02	China	RAISE
Siba K. Udgata	01/03/01 -- 31/08/01	India	DeTfoRS
Viktor Verbovskiy	01/06/01 -- 31/08/01	Kazakhstan	DeTfoRS
Charles Uwadia	25/02/01 -- 15/06/01	Nigeria	DDP, Australia
Nil Bhattacharjee	25/02/01 -- 15/06/01	Bangladesh	DDP, Australia

 3.2 Postgraduate Degree Supervision

Staff Fellow Country Subject
 
 

Staff	Fellow	Country	Subject
Zhou Chaochen	Zhan Naijun (PhD)	China	Higher-Order Duration Calculus
Chris George	Ke Wei	Macau	RSL to SML Translator
Chris George	Marisa Sanchez	Argentina	Specification based testing
Richard Moore	M. Erdenechimeg (PhD)	Mongolia	MultiScript
Richard Moore	Tsend Ganbat (PhD)	Mongolia	Specification of Mongolian Spelling Checker
Richard Moore	Raoudha Beltaifa (PhD)	Tunisia	Software Reuse
Richard Moore	Gabriela Aranda	Argentina	Formalisation of Object-Oriented Patterns
Richard Moore	Alejandra Cechich	Argentina	Formalisation of Object-Oriented Patterns
Richard Moore	Luis Reynoso	Argentina	Formalisation of Object-Oriented Patterns
Richard Moore	Andres Flores	Argentina	Formalisation of Object-Oriented Patterns
Tomasz Janowski	Nitesh Shrestha	Nepal	Notational Support for Specification and Automatic Retrieval of the Travel and Tourism Services on the Internet

 
 

3.3 Off-Shore Training Courses

1. Awareness and Education: To propagate awareness of and provide in-depth training in the 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. However, if resources permit UNU/IIST also offers General Courses in Computer Science.
2. Fellow Identification: To identify potential Fellows and to discuss with them and with their supervisors, availability, timing and project subjects.
3. 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 gave 20 advanced courses in 15 countries in 2000:
 

1. Courses on RAISE and Duration Calculus, Ho Chi Minh City, Vietnam, 10-18 January 2000. This course was jointly organized and co-funded by UNU/IIST and the Vietnam National University. The RAISE course was given by Dr. Tomasz Janowski and the Duration Calculus course by Dr. Dang Van Hung. 28 participants attended the course.
2. Courses on RAISE and Duration Calculus, Tunis, Tunisia, 1 - 11 February 2000. This course was jointly organised and co-funded by UNU/IIST and Ecole Suprieure des Communications de Tunis. The RAISE course was given by Dr. Richard Moore and the Duration Calculus course by Dr. Dang Van Hung. 18 participants attended the course.
3. Courses on RAISE and Duration Calculus, Saint-Louis, Senegal, 14 - 25 February 2000. This course was jointly organised and co-funded by UNU/IIST and Universite Gaston Berger. The RAISE course was given by Dr. Richard Moore and the Duration Calculus course by Dr. Dang Van Hung. 17 participants attended the course.
4. Formal Software Development using RAISE , Cebu City, Philippines, 3 -12 April 2000. This course was jointly organized and co-funded by UNU/IIST, University of the Philippines in the Visayas, University of San Carlos and NEC Telecom Software Philippines. This course was given by Dr. Tomasz Janowski. 20 participants attended the course.
5. Formal Software Development using RAISE , Dushanbe, Tajikistan, 17 - 28 April 2000. This course was jointly organized and co-funded by UNU/IIST, Tajikistan University of Technology and UNESCO Paris. This course was given by Mr. Chris George. 19 participants attended the course.
6. Course on Programming Logic, Singapore, 1 - 11 April 2000. This course was jointly organised by UNU/IIST and National University of Singapore. Almost all of the funding was provided by the National University of Singapore. This course was given by Prof. He Jifeng. 20 participants attended the course.
7. Formal Software Development using RAISE , San Luis, Argentina, 4 - 12 May 2000 and July, Argentina, 15 -23 May 2000. These courses were jointly organized by UNU/IIST and the National Universities of San Luis and Jujuy. Almost all of the funding was provided by both National Universities. The courses were given by Dr. Tomasz Janowski. A total of 33 participants attended these courses.
8. Formal Software Development using RAISE , Havana, Cuba, 29 May - 9 June 2000. This course was jointly organised and co-funded by UNU/IIST and the Facultad de Ingenera Industrial, Instituto Superior Polytecnico Jos Antonio Echeverria. This course was given by Mr. Chris George. 10 participants attended the course.
9. Formal Software Development using RAISE , Gabarone, Botswana , 12 - 23 June 2000. This course was jointly organised and co-funded by UNU/IIST and the University of Botswana. This course was given by Mr. Chris George. 25 participants attended the course.
10. Course on RAISE nd DC, Ulaanbaatar, Mongolia, 12 - 24 June 2000. This course was jointly organised and co-funded by UNU/IIST and the National University of Mongolia. This course was given by Dr. Richard Moore and Prof. He Jifeng. 20 participants attended the course.
11. Specification, Design and Implementation of Relational Programming, Joao Pessoa Paraiba, Brazil, 2 - 5 October, 2000. This course was part of the XIV Symposium of Brazilian Software Engineering. The course was given by Prof. He Jifeng. 25 participants attended the course.
12. Duration Calculus - A design and verification technique for real-time systems, Tandil, Argentina, 6 - 13 September 2000. This course was part of the IFIP WG 2.3 School State-of-the-Art on Program Design using Logic. The course was given by Dr. Dang Van Hung. About 45 participants attended the course.
13. Algorithmics, Chittagong, Bangladesh, 8 - 18 October 2000. This course was given by Dr. Tomasz Janowski. About 27 participants attended the course.
14. Formal Software Development using RAISE , Almaty, Kazakhstan, 16 -27 October 2000. This course was given by Dr. Richard Moore. About 15 participants attended the course.
15. Formal Software Development using RAISE , Maputo, Mozambique 23 October - 3 November 2000. This course was given by Mr. Chris George. About 23 participants attended the course.
16. Formal Software Development using RAISE , Harare, Zimbabwe 6 - 17 November 2000. This course was given by Mr. Chris George. About 20 participants attended the course.

Annual Report 2000

Contents