統一モデリング言語
Later he wrote a virtual machine for Unified Modeling Language (UML). he is "professor emeritus" of informatics at the University of Oslo.