[clug] SEL4 acknowledged in ACM 2022 award

Bob Edwards bob at 2hgt.org
Fri May 5 05:55:42 UTC 2023

Greetings all,

The 2022 ACM Software System Award has been awarded to the creators of the sel4 microkernel,
"the first ever industrial-strength, general-purpose operating system with formally proved
implementation correctness." ( https://awards.acm.org/software-system )

The team lead (Prof. Gernot Heiser, a multiple LCA speaker) and many of the creators are from
Australian Universities, in particular, UNSW, Uni of Melbourne and ANU (Dr. Michael Norrish).

Congratulations folk!

Bob Edwards.

More information about the linux mailing list