 | Status of implementation of project activities |
| 
| Top |
| 
| Publications and dissemination |
|
| Postgraduate training/teaching activities |
Postgraduate training/teaching activities
During 2007 UNU-IIST has hosted
4 post-doctoral fellows,
trained 18 fellows from 8 developing countries and 1 externally supported
fellow from an industrialised country at UNU-IIST,
and 7 fellows from 5 developing countries have studied at a university in a developed
country. See appendix * for details.
UNU-IIST staff have been involved in supervising
4 post-doctoral fellows,
8 PhD students and
2 Masters student during 2007.
- Chris George is Postdoc supervisor for Dr Luis Leon,
University of Waterloo, Ontario, Canada.
Subject: Hydrology for the WaterBase project.
- Jeff Sanders is Postdoc supervisor for Dr Hu Jun.
Subject: Policies for reconfigurable systems.
- Tomasz Janowski is
- PhD supervisor for Ms Elsa Estevez, National University of
the South, Bahia Blanca, Argentina.
Subject: Programmable Messaging for Electronic Government.
- PhD supervisor for Mr Wang Yong, ICT Institute, Chinese
Academy of Sciences.
Subject: Measuring and Analyzing Peer-Peer Networks.
- MSc supervisor for Mr Alejandro Sanchez, National University
of San Luis, San Luis, Argentina.
Subject: Semantic Interoperability for Programmable Messaging Middleware.
- Zhiming Liu is
- Postdoc supervisor for Dr Volker Stolz.
Subject: Theories and Tools of Component-Based Systems.
- Postdoc supervisor for Dr Charles Morisset.
Subject: Harnessing Theories for Tool Support in Software.
- Postdoc supervisor for Dr Naijun Zhan, Institute of Software,
Chinese Academy of Sciences.
Subjec: rCOS model of coordination.
- PhD supervisor for Mr Liang Zhao within UNU-IIST
joint PhD Programme with the University of Pisa.
Subject: Formal Theories and Methods of Computing.
- PhD supervisor for Mr Chen Xin, Nanjing University, China.
Subject: Formal method of component and object systems.
- PhD supervisor for Ms Yang Lu, Nanjing University, China.
Subject: Formal method of component and object systems.
- PhD supervisor for Mr Chen Zhenbang, National Lab of Parllel
and Distributed Computing, China.
Subject: Formal Method of Component and Object Systems.
- PhD supervisor for Mr Ke Wei, University of Science and Technoloy
of Macao.
Subject: Syntax and Semantics of rCOS.
- MSc supervisor for Mr Liu Jicong, Zhongshan University, China.
Subject: Prototyping Tools of Component-based Software Development.
- Antonio Cerone is
- Postdoc supervisor for Dr Siraj Ahmed Shaikh.
Subject: Formal Aspects of Secure Distributed Systems.
- PhD supervisor for Mr Thomas Anung Basuki within UNU-IIST
joint PhD Programme with the University of Pisa.
Subject: A Formalism to Model Biological Systems.
- Adegboyega Ojo is
- PhD supervisor for Mr. Rilwan Basanya, University of Lagos.
Subject: Ontological Annotations
- Bernhard Aichernig, supported by Antonio Cerone, is
- Postdoc supervisor for Dr Andreas Griesmayer
within the CREDO Project.
Subject: Computing Preconditions in Concurrent Systems.
- PhD supervisor for Mr Rudolf Schlatte
within the CREDO Project.
Subject: Test Case Generation from Formal Specifications
for Functional Testing.
Juan Perna from Argentina was sponsored by UNU-IIST in
2006 as a joint PhD student with the University of York in the UK.
After the first year York decided on the basis of his progress that
they would allow him to complete all of his PhD there, funded entirely
by York, rather than continuing with UNU-IIST support and with the
second year spent at UNU-IIST.
We are pleased with Juan's success at York, but will in future joint
degree agreements require repayment of financial support in such
situations.
| Postgraduate training/teaching activities |
| Status of implementation of project activities |
| |
| Top |
| |
| Publications and dissemination |
|