1.1: Sustainability
Look at how research and pedagogy based on formal methods might be applied to the problems of sustainable development. Other Information:
Information engineering for sustainability -- From the institute‟s founding, UNU-IIST has been at the forefront of research
on formal methods, rigorous mathematical tools that ensure information and communication technology systems conform to their
design. This program will now look at how research and pedagogy based on formal methods might be applied to the problems of
sustainable development. One element of the program will look at how complex and potentially risky healthcare information
systems can be designed with a greater degree of trustworthiness. Another will consider whether or not pervasive communications
devices, when networked, can be more than the sum of their parts. The program will look, for instance, at how the dominant
technological device of the developing world, the mobile phone, can provide a networked platform to be exploited for the purposes
of education, healthcare and commerce.
Indicator(s):
|
