Annual Report 1997

3 Post-graduate training/teaching activities

3.1 Fellowship programme

• 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

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. 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 below).

The complete list of Fellows who received training at UNU/IIST in 1997 is given below⁶.

Fellows

Suman Roy *           1 June      1996 --- 26 January   1997  India  
Gao Jianping         27 September 1996 ---  9 September 1997  China
Pham Hong Thai        1 September 1996 --- 31 May       1997  Vietnam
Hoang Thi Tung Lam    1 September 1996 --- 31 May       1997  Vietnam
Bogdan Warinschi      1 September 1996 --- 31 May       1997  Romania
Radu Soricut          1 September 1996 --- 31 May       1997  Romania
Yaroslav Ussenko      1 September 1996 --- 31 May       1997  Ukraine
Ou Song               1 December  1996 --- 25 June      1997  China
Gueorgui Satchok      1 September 1996 --- 30 June      1997  Belarus
Kaare Sloth Jensen*** 3 September 1996 --- 30 January   1997  Denmark
Hans Laustrup***     19 September 1996 --- 30 January   1997  Denmark
Yumbayar Namsrai      1 October   1996 --- 30 June      1997  Mongolia
Tian Siyuan           5 December  1996 --- 18 May       1998  China
Phung Phuong Nam     11 April     1996 --- 13 April     1997  Vietnam
Do Tien Dung         11 April     1996 --- 13 April     1997  Vietnam
Fu Hong Guang        12 February  1997 --- 11 May       1997  China
Roger Noussi          3 February  1997 --- 31 May       1997  Cameroon
Souleymane Koussoube  3 February  1997 --- 31 May       1997  Burkina Faso
Aristides Dasso       1 April     1997 --- 30 June      1997  Argentina
Marisa Sanchez %      1 April     1997 ---  9 November  1997  Argentina
Li Xuandong          11 April     1997 --- 24 August    1997  China
Arun Kumar Pujari    15 April     1997 ---  8 July      1997  India 
Hoang Xuan Huan      15 January   1997 --- 14 July      1997  Vietnam
Rana Barua           15 May       1997 --- 14 August    1997  India
Laure Fotso          22 January   1997 --- 15 August    1997  Cameroon
Vladimir Zadorozhny  12 January   1997 --- 31 August    1997  Russia
Zheng Tao             2 January   1997 --- 31 August    1997  China
Wang Hanpin          30 January   1997 --- 20 September 1997  China
Qiu Zongyan          30 January   1997 --- 27 September 1997  China
Yun Xiaochun          5 May       1997 --- 25 January   1998  China
Tsend Ganbat          1 September 1997 --- 12 January   1998  Mongolia
Marcel Fouda          4 September 1997 ---  3 March     1998  Cameroon 
Pablo Giambiagi       4 September 1997 --- 28 February  1998  Argentina
Victor Braberman     14 September 1997 --- 28 February  1998  Argentina
Zhao Jianhua         27 August    1997 --- 27 August    1998  China
Xia Yong              1 September 1997 --- 30 June      1998  China
Gustavo Lugo          1 September 1997 --- 31 May       1998  Paraguay
Gerardo Schneider     1 September 1997 --- 28 February  1998  Uruguay
Hong Yong Il          1 September 1997 --- 30 November  1997  DPR Korea
Hwang Chun Sik        1 September 1997 --- 30 November  1997  DPR Korea
N. Sathya Prakash**   1 September 1997 --- 31 May       1998  India
D.H.S. Sarma**        1 September 1997 --- 31 May       1998  India
Nguyen Hong Viet***   5 September 1997 ---  4 March     1998  Vietnam
Tran Manh Thang       5 September 1997 ---  4 March     1998  Vietnam
Hu Chengjun          30 November  1997 --- 30 April     1998  China
Zheng Hongjun         3 November  1997 --- 31 August    1998  China
Fu Guoyi              9 November  1997 --- 30 September 1998  China

* 1 month interruption in September 1996
% 1 month interruption in July 1997
** Partly funded by releasing institution
*** Totally funded by releasing institution

3.2 Curriculum Development Project

Date of commencement

June 1996

Date of completion

Ongoing

Staff responsible

Chris George, Tomasz Janowski, Richard Moore

Abstract

UNU/IIST is trying to increase its impact by assisting universities in developing countries to develop their ability to teach the subjects in UNU/IIST's "agenda", specifically the use of design calculi in software development. This is a common feature of computer science curricula in developed countries but much rarer in the developing ones.

Outputs

Fellows produce a report during their visit, usually concentrating on a case study that can be used in teaching, and sometimes producing some other course material like OHP foils.

All the material, both UNU/IIST's and that developed by Fellows [43][44][45][46][47][48][49] is publicly available on UNU/IIST's ftp site.

Fellows

 

Fellows are professors or lecturers and come to UNU/IIST, usually for 3-4 months, to develop material for use in undergraduate and post-graduate courses. The material generally complements UNU/IIST's own material used on its advanced development courses.

Roger Noussi*         Libreville, Gabon      3 February -- 31 May 97
Souleymane Koussoube* Libreville, Gabon      3 February -- 31 May 97
Aristides Dasso       San Luis, Argentina    1 April -- 30 June 97
Marcel Fouda          Yaounde, Cameroon      4 September 97 -- 3 March 98
Tsend Ganbat          Ulaanbaatar, Mongolia  1 September 97 -- 12 January 98
Hong Yong Il          Pyongyang, DPR Korea   1 September -- 30 November 97
Hwang Chun Sik        Pyongyang, DPR Korea   1 September -- 30 November 97

  *respectively Cameroon and Burkina Faso nationals, employed
   at Institut Africain d'Informatique, Libreville, Gabon.

Status

We expect this project to continue. As well as being able to introduce the material into their university curricula we use the expertise of these Fellows to teach UNU/IIST off-shore courses, which reduces the cost of these courses in terms of the time, travel and subsistence of UNU/IIST staff.

3.3 Off-shore training courses

1. 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.

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 has presented the following advanced courses in 1997:

1. Course on Formal Software Development Methods, ISIT, Kyushu, Fukuoka, Japan, 9-14 March, 1997, Richard Moore.
   This course was organised and fully funded by ISIT.

2. Course on Formal Software Development Methods, Beijing, China, 21-25 April, 1997, Tomasz Janowski.
   This course was organised by University of Peking (Department of Informatics) and was focused mainly on the RAISE language. 21 participants from the University of Peking, Zhengzhou University, Nanjing University, Nanchang Normal College, Beijing University of Post and Tele-Com., System Science Institute, CAS. Two of the participants were from DPR Korea and were sponsored by UNU/IIST.

3. Series of Seminars on Duration Calculus in Russia (Institute for Problems of Informatics, Russian Academy of Sciences, Laboratory for Operations Research, University of St. Petersburg), Ukraine (Department of Programming Theory, Kiev Taras Shevchenko University), Bulgaria (Faculty of Mathematics and Computer Science, Sofia University), and in Romania (Department of Computer Science, University of Bucharest), 17 April - 9 May, 1997, Zhou Chaochen.

4. Post-graduate Course on SDL and its use in Software Development, Beijing University of Post and Telecommunications, China, 7-11 July, 1997, Kees Middelburg.

5. Post-graduate Course on Formal Methods in Software Development, Institut Africain
   d'Informatique, Libreville, Gabon, 13-19 July, 1997, Chris George, Roger Noussi and Souleymane Koussoube (IAI), both of whom are former UNU/IIST Fellows.
   This course was organised jointly by IAI and UNU/IIST. 22 participants from Benin, Cameroon, Cote d'Ivoire, Gabon, Niger, Senegal and Togo attended.

6. Post-graduate Course on Formal Methods in Software Development, Ecole normale supérieure polytechnique, Université de Yaoundé-I, Yaounde, Cameroon, 21-28 July, 1997, Chris George.
   21 participants from universities and from private sector industries in Cameroon attended.

7. Course on Formal Software Development Methods and the Duration Calculi: From Programs to Large-Scale Systems, and from Untimed, Reactive Discrete Systems to Real-Time, Hybrid Systems, UNU/IIST Macau, 8-30 September, 1997.

8. DesCaRTeS Seminar: Design Calculi and Research Telecommunication Systems, Jakarta, Indonesia, 1-19 September, 1997, Kees Middelburg.
   A three week course comprising 1-week post-graduate course on SDL and its use in software development, followed by a two-week intensive workshop with exploratory research experiments on topics of the DesCaRTeS Programme. The course was partly funded by University of Indonesia under the World Bank project. It was attended by some 30 participants.

9. DesCaRTeS Seminar: Design Calculi and Research Telecommunication Systems, Islamabad, Pakistan, 29 Sep - 17 Oct, 1997, Kees Middelburg.
   A three week course comprising 1-week post-graduate course on SDL and its use in software development, followed by a two-week intensive workshop with exploratory research experiments on topics of the DesCaRTeS Programme. The course was attended by 24 persons.

10. Post-graduate Course on Formal Methods in Software Development, Wuhan, China, 22-31 October 1997, Chris George. 24 participants attended this course.

11. Post-graduate Course on Formal Methods in Software Development and Duration Calculus, Universidad Nacional del Sur, Bahia Blanca, Argentina, 20-31 October 1997 and 10-21 November 1997 Tomasz Janowski and Xu Qiwen. These two courses were funded by the Universidad Nacional del Sur as part of a World Bank funded project.

12. DesCaRTeS Seminar: Design Calculi and Research Telecommunication Systems, Curitiba, Brazil, 10-28 November, 1997, Kees Middelburg.
    A three week course comprising 1-week post-graduate course on SDL and its use in software development, followed by a two-week intensive workshop with exploratory research experiments on topics of the DesCaRTeS Programme. 20 participants attended this course.

13. DesCaRTeS Seminar: Design Calculi and Research Telecommunication Systems, Johannesburg, South Africa, 1-19 December, 1997, Kees Middelburg.
    A three week course comprising 1-week post-graduate course on SDL and its use in software development, followed by a two-week intensive workshop with exploratory research experiments on topics of the DesCaRTeS Programme. This course was attended by 16 participants from South Africa and 1 from University of Malawi.

Annual Report 1997