All the footage from "Final Doom" is taken from modified parts of Marathon 2: Durandal by Bungie Software.
In that game the UESC Marathon is in orbit around Tau Ceti's fourth planet, where a colony is being formed.
Both were based on games by Bungie Software (Minotaur and Marathon 2, respectively), whose founders were university friends of his.
marathon | Boston Marathon | London Marathon | New York City Marathon | Marathon | World Marathon Cup | Boston Marathon bombings | European Marathon Cup | Marathón | C.D. Marathón | Chicago Marathon | Marathon, Greece | 2010 London Marathon | Toronto Marathon | Marathon world record progression | Marathon, Ontario | Marathon County, Wisconsin | Marathon County | Tokyo Marathon | Marathon 2: Durandal | Honolulu Marathon | Berlin Marathon | 2013 Tokyo Marathon | Tokyo International Marathon | men's marathon | Marathon, Wisconsin | marathon (sport) | Houston Marathon | The Marathon Family | Spirit of the Marathon |
For instance, the Marathon computer game had a creator code of 26.2 (the approximate length, in miles, of a marathon) and Marathon 2: Durandal had a creator code of 52.4.
In 1996, Deniz left IMG to work for Bungie Software for nearly four years as a producer for titles such as Marathon 2: Durandal for Windows, Abuse, Weekend Warrior, and Marathon Infinity, and a project leader for Myth II: Soulblighter.