UNU-IIST is the United Nations University International Institute for Software Technology, based in Macau and originally set up by the Denmark professor Dines Bjørner using funding from China, Macau and Portugal. It was subsequently led by the China professor Zhou Chaochen and Mike Reed is the current Director. Its special remit is to help developing countries in improving their support for computer science education and research. UNU-IIST has been particular central in supporting and promulgating the Duration Calculus and RAISE specification language and Duration Calculus, two formal methods for software development.

= See also =

= External link =