United Nations University International Institute for Software Technology
- United Nations University International Institute for Software Technology
The United Nations University International Institute for Software Technology (UNU-IIST) is a United Nations University 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.
Professional Staff include:
Prof. Mike Reed (director),Mr. Chris George (assistant director),Dr. Thomasz Janowski (senior research fellow),Dr. Jeff Sanders (senior research fellow),Dr. Antonio Cerone (research fellow),Dr. Liu Zhiming (research fellow),Dr. Adegboyega Ojo (research fellow),Dr. Wang Xu (assistant research fellow). See the official webpage for more staff details and updates
See also
* Prof. He Jifeng, former Senior Research Fellow
External links
* [http://www.iist.unu.edu/ Official website]
Wikimedia Foundation.
2010.
Look at other dictionaries:
United Nations University — The nihongo|United Nations University|国際連合大学|Kokusai Rengō Daigaku (UNU) is an agency of the United Nations established in Tokyo in 1973UN document |docid=A RES 3081(XXVIII) |type=Resolution |body=General Assembly |session=28 |resolution… … Wikipedia
University of Helsinki — is not to be confused with either the Helsinki University of Technology or the University of Art and Design Helsinki. University of Helsinki Helsingin yliopisto Helsingfors universitet … Wikipedia
MapWindow GIS — 4.5 RC2 running on Windows Vista Developer(s) MapWindow Open Source Team Stable release 4.7 / November 28, 2008; 2 years ago … Wikipedia
Netherlands Institute for Space Research — SRON Netherlands Institute for Space Research Ruimteonderzoeksinstituut SRON Established 1983 Headquarters Utrecht Administrator Rens Waters (Scientific … Wikipedia
Dines Bjørner — Professor Dines Bjørner (born 4 October 1937 in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods.[1] He worked with Cliff Jones and others on the Vienna… … Wikipedia
List of universities in Macau — Macau is a city of tourism with a multicultural blend which provides a broad sense and international perspective for its college students. The free academic atmosphere and its profound and unique foundation in culture have also created favorable… … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Actor model and process calculi — In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor model and process calculi history.There are many similarities between the two approaches,… … Wikipedia
Notable Auburnites — The following is a list of notable Auburnites, people who have lived or are currently living in Auburn, Alabama. Many on the list lived in the city while students at Auburn University.Academics*Donald J. Boudreaux economist, chairman of George… … Wikipedia
List of Auburn, Alabama people — The following is a list of notable Auburnites, people who have lived or are currently living in Auburn, Alabama. Many on the list lived in the city while students at Auburn University. Contents 1 Academics 2 Art and literature 3 Astronautics … Wikipedia
