ah, if HAL was IBM... GERTY is... ??? Apple? Linux?...
What's interesting is that one episode in Season 1 was using Jenkins (a continuous integration tool) and they took the logo and name but made a new UI that was simpler with a giant progress bar. My guess on the reason is that showing the full Jenkins UI wouldn't allow casual TV viewers to grok it quick enough.