UNU/IIST's andet store aktivitets-område var og er metode-lære forskning og avanceret udvikling af store programmelsystemer, primært sådanne som støtter ledelses- og operations-opgaver indenfor større infra-strukturer. Eksempler på infra-struktur-systemer er: Jernbaner, finansministerium, fremstillingsindustri, mega-stads-trafik, luft-trafik-ledelse, finansverdenen (banker, forsikring, børser (inl. børsmægling), værdipapairoverføring, mm.) og telekommunikation. Således har UNU/IIST (haft) et samarbejde med (i) Kinas jernbaner, (ii) Indonesiens, Brasiliens og Filippinernes fremstillings-industri, (iii) Filippinernes televæsen, (iv) Vietnams finansministerium, m.fl. Og et årelangt forberedelses-arbejde synes snart at føre til nye projekter med (v) Ruslands finans-industri, (vi) Minsk i Hviderusland (og muligvis Shanghai i Kina og Sao Paulo in Brasilien) vedrørende storstads-trafik, m.v. UNU/IIST har dog også ``mindre'', men ikke mindre ambitøse projekter på gang: (viii) Et fler-skrifts-projekt med forløbig Mongoliet om et system til repræsentation og manipulation af vilkårlige kombinationer af tekst fra alle fire skrift-retninger: (1) f.eks. Dansk: tekstlinjer, fra venstre mod højre, ovenfra nedad; (2) f.eks.\ Mongolsk: tekstsøjler, ovenfra nedad, fra venstre mod højre, (3) f.eks. Japansk: tekstsøjler, ovenfra nedad,fra højre mod venstre, og (4) f.eks. Hebræisk: tekstlinjer, fra højre mod venstre, ovenfra nedad. Også (ix) et viden-baseret system til repræsentation og manipulation af traditionel central Afrikansk medicinsk viden: op til aller nyeste tid er stort set al viden om sygdoms-symptomer og deres mulige helbredelse vha. lokale urter kommunikeret fra mor til datter og fra far til søn!
UNU/IIST's indfalds-vinkel i alle disse projekter var og er at sagkyndige indenfor emne-området arbejder sammen med programmel-ingeniører og UNU/IIST's forskere; at de sammen først udvikler både uformelle og formelle, matematiske modeller af domænet -- dvs.\ beskrivelser der kun indeholder (modeller af) domæne-områdets fag-termer og derfor ingen referencer til datamaskiner eller programmel. Når sådanne domæne-modeller er tilpas udviklede tackles udvikling af de krav-specifikationer der senere skal lede til programmel-arkitektur- og programmel-struktur-beskrivelser -- og siden aktuelt programmel. Indfalds-vinklen er iøvrigt udforskningen og aktuel brug af såkaldt formelle metoder: matematisk beskrivelse samt logiske oa. formelle beregninger over sådanne beskrivelser. Målet er: Metoder til sikker udvikling af troværdige, store systemer. UNU/IIST -- dets stipendiater og forskere -- har rapporteret ret så imponerende resultater.
Stipendiater fortsætter, i de fleste tilfælde, det banebrydende arbejde de har påbegyndt ved UNU/IIST\ efter deres tilbagevende til hjemlandet.
Igen viser dette at FN Universitetet kan bidrage væsentligt.