CSIRO Data61 Bins Trustworthy Systems Team Behind seL4
The team that developed verification technology behind microkernel Data61 is being disbanded. The focus is changing towards AI instead of supporting and further developing seL4. Most of the members from Australia’s Commonwealth Scientific and Industrial Research Organisations’s Data61 group are being shifted toward new priorities.
Data61 team created an imanse breakthrough that shook the scientific community with first ever mathematical proof of correctness for their Operating System seL4. In 2009 the security and error detections were created using just a mathematical formula that could be proven. CSIRO describes seL4 as mature technology that researchers had invested multiple years developing. The organization continues to be a foundation member, but will now pivot to other projects.
The Trustworthy Systems Group will no longer be under the control of CSIRO. The Trustworthy Systems Group will continue to focus on methods of design, implementation and verification of software systems. The primary focus will be strengthening of cybersecurity, natural environmental analytics as well as Trustworth AI software. Data61 AI technology is hoping to reinvent how science will be done using digital technologies. There will be approximately 100 new positions created and 30 new post doctorate degrees awarded.