TalkingTech
The view from the top of IT with TechWorld Editor Rohan Pearce
Australian research organisation, NICTA claims to be the world's first to develop a formal machine-checked proof of a general-purpose operating system kernel, the Secure Embedded L4 (seL4).
By Dahna McConnachie | 13 August, 2009 16:00
Dr Chris Nicol has won the NSW Scientist of the Year Award for Computer Science.
By Darren Pauli | 17 September, 2008 15:19
Recent comments
13 hours, 39 minutes ago
21 hours, 57 minutes ago
22 hours, 53 minutes ago
1 day, 3 hours ago
1 day, 11 hours ago
1 day, 22 hours ago
2 days, 1 hour ago
2 days, 5 hours ago
2 days, 8 hours ago
2 days, 9 hours ago