UNU-IIST
From Wikipedia, the free encyclopedia
UNU-IIST is the United Nations University International Institute for Software Technology, a UNU Research Training Centre based in Macau. It was originally set up by the Danish professor Dines Bjørner using funding from China, Macau and Portugal. Subsequently it was led by the Chinese professor Zhou Chaochen and, since 2005, Professor Mike Reed is the current Director.
The Institute's special remit is to help developing countries in improving their support for computer science education and research. A number of research fellows visit from around the world each year.
UNU-IIST has been particularly central in supporting and promulgating RAISE and the Duration Calculus, two important formal methods for software development.
[edit] See also
- Prof. He Jifeng, former Senior Research Fellow