Guh, this is extremely disappointing, but I can't say I'm surprised, given the Australian government's love of cutting research research and university funding. Thankfully the team has made preparations by setting up a foundation in advance.
Quote Tweet
Word is out, and unfortunately true: @CSIRO's @Data61news dismantles Trustworthy Systems (TS), the team that shook the scientific world with the first correctness proof of an OS, #seL4. TS staff to reallocate to AI projects or sacked 1/6
Show this thread