NICTA Techfest 09: Photos

NICTA Techfest 09: Photos

Summary: The publicly-funded research body National ICT Australia (NICTA) held its annual showcase of technology yesterday. On show was technology ranging from bionic eyes to a mathematically-proven operating system kernel.


 |  Image 6 of 6

  • Thumbnail 1
  • Thumbnail 2
  • Thumbnail 3
  • Thumbnail 4
  • Thumbnail 5
  • Thumbnail 6
  • TiniWiki is available now for iPhones and takes more than 60GB of Wikipedia text (no image or video media) down to less than 6GB in total for offline use. When changes are made to Wikipedia, deltas of changes are sent to TiniWiki so that the information remains current.

    (Credit: Chris Duckett/

  • A screenshot of an seL4 microkernel instance; seL4 is 7500 lines of mathematically-proven C code. This removes one class of bugs and should make the kernel more secure. NICTA says that seL4 is impervious to buffer overflow attacks; however, mathematics cannot do away with human-injected design bugs.

    (Credit: Chris Duckett/

Topics: Open Source, Apple, Government AU, iPhone


Chris started his journalistic adventure in 2006 as the Editor of Builder AU after originally joining CBS as a programmer. After a Canadian sojourn, he returned in 2011 as the Editor of TechRepublic Australia, and is now the Australian Editor of ZDNet.

Kick off your day with ZDNet's daily email newsletter. It's the freshest tech news and opinion, served hot. Get it.

Related Stories


Log in or register to start the discussion